×

Substitution expressions. (English) Zbl 0229.68026


MSC:

68Q45 Formal languages and automata

Software:

ALGOL 60
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Arden, D. N., Delayed logic and finite state machines, (Proc. Second Annual Symposium on Switching Circuit Theory and Logical Design. Proc. Second Annual Symposium on Switching Circuit Theory and Logical Design, Detroit, Michigan (1961)), 131-151
[2] Bar-Hillel, Y., (Language and Information (1964), Addision-Wesley: Addision-Wesley Reading, Mass.) · Zbl 0158.24102
[3] Brzozowski, J. A., Regular-like expressions for some irregular languages, (Proceedings of the Ninth Annual Symposium on Switching and Automata Theory (1968), General Electric Research and Development Center: General Electric Research and Development Center Schenectady, N. Y.) · Zbl 0199.04501
[4] Eggan, L. C., Transition graphs and the star height of regular events, Michigan Math. J., 10, 385-397 (1963) · Zbl 0173.01504
[5] Ginsburg, S.; Rice, H. C., Two families of languages related to ALGOL, J. Assoc. Comput. Mach., 9, 3 (1962) · Zbl 0161.13903
[6] Greibach, S., A new normal form theorem for context-free phase structure grammars, J. Assoc. Comput. Mach., 12, 42-52 (1965) · Zbl 0135.18404
[7] Greibach, S., Full AFLs and nested iterated substitution, Information and Control, 16, 7-35 (1970) · Zbl 0188.03102
[8] J. GruskaJ. Comput. System Sci.; J. GruskaJ. Comput. System Sci. · Zbl 0271.68057
[9] Hopcroft, J. E.; Ullman, J. D., (Formal Languages and Their Relation to Automata (1969), Addison-Wesley: Addison-Wesley Reading, Mass.) · Zbl 0196.01701
[10] Kral, J., A modification of a substitution theorem and some necessary and sufficient conditions for sets to be context-free, Math. Systems Theory, 4, 129-139 (1970) · Zbl 0199.31301
[11] McWhirter, I. P., (Research Report CSRR-2016 (June 1970), University of Waterloo: University of Waterloo Waterloo, Ontario, Canada)
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.