Bounded $\textrm {ALGOL}$-like languages
HTML articles powered by AMS MathViewer
- by Seymour Ginsburg and Edwin H. Spanier
- Trans. Amer. Math. Soc. 113 (1964), 333-368
- DOI: https://doi.org/10.1090/S0002-9947-1964-0181500-1
- PDF | Request permission
References
- Y. Bar-Hillel, M. Perles, and E. Shamir, On formal properties of simple phrase structure grammars, Z. Phonetik Sprachwiss. Kommunikat. 14 (1961), 143–172. MR 151376 N. Chomsky, Three models for the description of language, IRE Transactions on Information Theory IT-2 (1956), 113-124.
- Noam Chomsky, On certain formal properties of grammars, Information and Control 2 (1959), 137–167. MR 105365, DOI 10.1016/S0019-9958(59)90362-6
- Seymour Ginsburg and H. Gordon Rice, Two families of languages related to ALGOL, J. Assoc. Comput. Mach. 9 (1962), 350–371. MR 152158, DOI 10.1145/321127.321132
- Seymour Ginsburg and Gene F. Rose, Some recursively unsolvable problems in ALGOL-like languages, J. Assoc. Comput. Mach. 10 (1963), 29–47. MR 157516, DOI 10.1145/321150.321153
- Seymour Ginsburg and G. F. Rose, Operations which preserve definability in languages, J. Assoc. Comput. Mach. 10 (1963), 175–195. MR 157515, DOI 10.1145/321160.321167 D. Konig, Theorie Der Endlichen und Unendlichen Graphen, Chelsea, New York, 1950. R. J. Parikh, Language-generating devices, Quarterly Progress Report No. 60, Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, Mass, 1961, pp. 199-212.
- M. O. Rabin and D. Scott, Finite automata and their decision problems, IBM J. Res. Develop. 3 (1959), 114–125. MR 103795, DOI 10.1147/rd.32.0114
- Abraham Robinson and Elias Zakon, Elementary properties of ordered abelian groups, Trans. Amer. Math. Soc. 96 (1960), 222–236. MR 114855, DOI 10.1090/S0002-9947-1960-0114855-0
- Stephen Scheinberg, Note on the Boolean properties of context free languages, Information and Control 3 (1960), 372–375. MR 118604, DOI 10.1016/S0019-9958(60)90965-7
Bibliographic Information
- © Copyright 1964 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 113 (1964), 333-368
- MSC: Primary 94.50; Secondary 68.00
- DOI: https://doi.org/10.1090/S0002-9947-1964-0181500-1
- MathSciNet review: 0181500