Bounded $\textrm {ALGOL}$-like languages
HTML articles powered by AMS MathViewer
- by Seymour Ginsburg and Edwin H. Spanier PDF
- Trans. Amer. Math. Soc. 113 (1964), 333-368 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
Additional 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