×

Substitution and bounded languages. (English) Zbl 0232.68030


MSC:

68Q45 Formal languages and automata

Software:

ALGOL 60
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Ginsburg, S.; Greibach, S., Abstract families of languages, in studies in abstract families of languages, Amer. math. soc. memoir, 87, 1-32, (1969) · Zbl 0194.31402
[2] Ginsburg, S.; Greibach, S., Principal AFL, J. comput. system sci., 4, 308-338, (1970) · Zbl 0198.03102
[3] Ginsburg, S.; Spanier, E.H., Finite-turn pushdown automata, SIAM J. control, 4, 429-453, (1966) · Zbl 0147.25302
[4] Ginsburg, S.; Spanier, E.H., Bounded ALGOL-like languages, Trans. amer. math. soc., 113, 333-368, (1964) · Zbl 0142.24803
[5] Ginsburg, S.; Spanier, E.H., Bounded regular sets, Proc. amer. math. soc., 17, 1043-1049, (1966) · Zbl 0147.25301
[6] {\scJ. Goldstine}, Bounded AFLs, in preparation. · Zbl 0331.68043
[7] Greibach, S., An infinite hierarchy of context-free languages, J. assoc. comput. Mach., 16, 91-106, (1969) · Zbl 0182.02002
[8] Greibach, S., Checking automata and one-way stack languages, J. comput. system sci., 3, 196-217, (1969) · Zbl 0174.02702
[9] Greibach, S., Chains of full afls, Math. systems theory, 4, 231-242, (1970) · Zbl 0203.30102
[10] {\scS. Greibach}, Syntactic operators on full semiAFLs, J. Comput. System Sci., to appear. · Zbl 0269.68046
[11] Hartmanis, J.; Hopcroft, J., What makes some language theory problems undecidable, J. comput. system sci., 4, 368-376, (1970) · Zbl 0198.03001
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.