×

Pure grammars and pure languages. (English) Zbl 0454.68097


MSC:

68Q45 Formal languages and automata
03D03 Thue and Post systems, etc.
68Q05 Models of computation (Turing machines, etc.) (MSC2010)
68Q65 Abstract data types; algebraic specification
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Arbib M.A., Theories of Abstract Automata (1969) · Zbl 0193.32801
[2] Brzozowski, J.A. 1962. Canonical regular expressions and minimal state graphs for definite events. Proceedings of the Symposium on Mathematical Theory of Automata. April24, 25, 261962. pp.529–561. New York: Polytechnic Institute of Brooklyn.
[3] Büchi J.R., Arch. Math. Logik Grundlagenforsch 6 pp 91– (1964) · Zbl 0129.26102 · doi:10.1007/BF01969548
[4] Chomsky N., Syntactic Structures (1957)
[5] Chomsky N., Aspects of the Theory of Syntax (1965)
[6] Culik K., Kybernetika 6 pp 99– (1970)
[7] Davis M., Computahility and Unsolvability (1958)
[8] Elgot C.C., IBM J. Res. Develop 9 pp 47– (1965) · Zbl 0135.00704 · doi:10.1147/rd.91.0047
[9] Ginsburg S., The Mathematical Theory of Context-Free Languages (1966) · Zbl 0184.28401
[10] Ginsburg S., J. Assoc for Comp. Much 9 pp 350– (1962) · doi:10.1145/321127.321132
[11] Harris Z.S., String Analysis of Sentence Structure (1964)
[12] Hopcroft J.E., Formal Languages and their Relation to Automaat (1969) · Zbl 0196.01701
[13] Joshi, A.K., Kosaraju, S.R. and Yamada, H. String adjuct grammars. IEEE Conference Record of Tenth Annual Symposium on Switching and Automata Theory. Oct15-171969. pp.245–262. Waterloo
[14] Král J., Kybernetika 5 pp 60– (1969)
[15] Nash, B.O. and Cohen, R.S. Parallel leveled grammars. IEEE Conference Record of Tenth Annual Symposium on Switching and Automata Theory. Oct15-171969. pp.263–276. Waterloo
[16] Post E., Amer. J. Math 65 pp 197– (1943) · Zbl 0063.06327 · doi:10.2307/2371809
[17] Salomaa A., Theory of Automata (1969) · Zbl 0193.32901
[18] Wittgenstein L., Philosophical Investigations (1958) · Zbl 1028.03003
[19] Gabrielian A., Pure Grammars and Pure Languages (1970) · Zbl 0454.68097
[20] Maurer H.A., Information and Control 9 pp 47– (1980) · Zbl 0446.68063 · doi:10.1016/S0019-9958(80)90131-X
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.