×

AFL with the semilinear property. (English) Zbl 0235.68029


MSC:

68Q45 Formal languages and automata

Software:

ALGOL 60
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Chomsky, N.; Schutzenberger, M. P., The Algebraic Theory of Context-Free Languages, (Braffert, P.; Hirschberg, D., Computer Programming and Formal Systems (1963), North Holland Publishing Company: North Holland Publishing Company Amsterdam), 118-161 · Zbl 0148.00804
[2] Elgot, C. C., Decision Problems of Finite Automata Design and Related Arithmetics, Transactions of the American Mathematical Society, vol. 98, 21-51 (1961) · Zbl 0111.01102
[3] Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L., Counter Machines and Counter Languages, Mathematical Systems Theory, vol. 2, 265-283 (1968) · Zbl 0165.32002
[4] Ginsburg, S., (The Mathematical Theory of Context-Free Languages (1966), McGraw-Hill: McGraw-Hill New York) · Zbl 0184.28401
[5] Ginsburg, S. and S. GreibachStudies in Abstract Families of Languages, Memoirs of the American Mathematical Society; Ginsburg, S. and S. GreibachStudies in Abstract Families of Languages, Memoirs of the American Mathematical Society
[6] Ginsburg, S.; Greibach, S., Principal AFL, Journal of Computer and System Sciences, vol. 4, 308-338 (1970) · Zbl 0198.03102
[7] Ginsburg, S.; Spanier, E. H., Bounded Algol-Like Languages, Transactions of the American Mathematical Society, vol. 113, 333-368 (1966) · Zbl 0142.24803
[8] Ginsburg, S.; Spanier, E. H., Semigroups, Presburger Formulas, and Languages, Pacific Journal of Mathematics, vol. 16, 285-296 (1966) · Zbl 0143.01602
[9] Ginsburg, S.; Spanier, E. H., Bounded Regular Sets, (Proceedings of the American Mathematical Society, vol. 17 (1966)), 1043-1049 · Zbl 0147.25301
[10] Ginsburg, S.; Spanier, E. H., Control Sets on Grammars, Mathematical Systems Theory, vol. 2, 159-177 (1968) · Zbl 0157.33604
[11] Ginsburg, S.; Spanier, E. H., Substitution in Families of Languages, Information Sciences, vol. 2, 83-110 (1960) · Zbl 0211.31401
[12] Greibach, S. and J. HopcroftStudies in Abstract Families of Languages, Memoirs of the American Mathematical Society; Greibach, S. and J. HopcroftStudies in Abstract Families of Languages, Memoirs of the American Mathematical Society
[13] Ibarra, O. H., Simple Matrix Languages, Information and Control, vol. 17, 359-394 (1970) · Zbl 0221.68041
[14] Kasai, Takumi, An Hierarchy Between Context-Free and Context-Sensitive Languages, Journal of Computer and System Sciences, vol. 4, 492-508 (1970) · Zbl 0212.02705
[15] Laing, R.; Wright, J. B., Commutative Machines, (Technical Report (December 1962), University of Michigan: University of Michigan Ann Arbor, Michigan)
[16] Parikh, R. J., On Contex-Free Languages, Journal of the Association for Computing Machinery, vol. 13, 570-581 (1966) · Zbl 0154.25801
[17] Rabin, M.; Scott, D., Finite Automata and Their Decision Problems, IBM Journal of Research and Development, vol. 3, 114-125 (1959) · Zbl 0158.25404
[18] Redko, V. N., On the Commutative Closure of Events, Dopovidi Akad. Nauk Ukrain. RSR, 1156-1159 (1963)
[19] Siromoney, R., On Equal Matrix Languages, Information and Control, vol. 14, 135-151 (1969) · Zbl 0169.31402
[20] \( \textsc{Siromoney, R.}k\)Journal of Computer and System Sciences; \( \textsc{Siromoney, R.}k\)Journal of Computer and System Sciences
[21] Nash B.O.IEEE Conference Record of 1969, Tenth Annual Symposium on Switching and Automata Theory; Nash B.O.IEEE Conference Record of 1969, Tenth Annual Symposium on Switching and Automata Theory
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.