Abstract
S. A. Greibach proved in “Chains of full AFL's” a useful property concerning the substitution of full semi-AFL's. We prove here that this property remains true when the families of languages under considerations are assumed only to be full trios, i.e., closure under union is not required.
Similar content being viewed by others
References
J. Berstel. (1979) Transductions and context free languages, Teubner Verlag (1979).
S. Ginsburg. Algebraic and automata-theoretic properties of formal languages. North Holland Publishing Company, (1975).
S. A. Greibach. Chains of full AFLs,Mathematical Systems Theory 4, 231–242 (1970).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Beauquier, J. A remark about a substitution property. Math. Systems Theory 14, 189–191 (1981). https://doi.org/10.1007/BF01752395
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01752395