@article{ITA_1982__16_1_3_0, author = {Albert, J.}, title = {A note on the undecidability of contextfreeness}, journal = {RAIRO. Informatique th\'eorique}, pages = {3--11}, publisher = {EDP-Sciences}, volume = {16}, number = {1}, year = {1982}, mrnumber = {677652}, zbl = {0493.68078}, language = {en}, url = {http://archive.numdam.org/item/ITA_1982__16_1_3_0/} }
Albert, J. A note on the undecidability of contextfreeness. RAIRO. Informatique théorique, Tome 16 (1982) no. 1, pp. 3-11. http://archive.numdam.org/item/ITA_1982__16_1_3_0/
1. Indexed Grammars - an Extension of Context - Free Grammars, J. Assoc. Comput. Mach., Vol. 15, 1968, pp. 647-671. | MR | Zbl
,2. Über indizierte und m-Block-indizierte Grammatiken, Ph. D. Thesis, Institut fur Angewandte Informatik und Formale Beschreibungsverfahren, Univ. Karlsruhe, 1976.
,3. Languages with Homomorphic Replacements, Theor. Comput. Sc., Vol. 16, 1981, pp. 291-305. | MR | Zbl
and ,4. Iterated Deterministic Substitution, Acta Informatica, Vol. 8, 1977, pp. 285-302. | MR | Zbl
and ,5. Indécidabilité de la condition IRS, Université de Lille I, publication n° 18.79, 1979.
, , and ,6. Reversal-Bounded Multipush-down Machines, J. Comput. System Sci., Vol. 8, 1974, pp. 315-332. | MR | Zbl
and ,7. On Formal Properties of Simple Phrase-Structure Grammars, Z. f. Phonetik, Sprachwissenschaft, Kommunikations-forschung, Vol. 14, 1961, pp. 143-177. | MR | Zbl
, and ,8. Stack Machines and Classes of Nonnested Macro Languages, J. Assoc. Comput. Mach., Vol.27, 1980, pp. 96-117. | MR | Zbl
, and ,9. Grammars with Macro-like Productions, Ph. D. Thesis, Haryard Univ., Cambridge, Mass., 1968.
,10. Two Families of Languages Related to ALGOL, J. Assoc. Comput. Mach., Vol. 9, 1962, pp. 350-371. | MR | Zbl
and ,11. Formal Languages, North-Holland, Amsterdam, 1975.
,12. A Note on Undecidable Properties of Formal Languages, Math. Systems Theory, Vol. 2, 1968, pp. 1-6. | MR | Zbl
,13. An Infinite Hierarchy of Context-Free Languages, J. Assoc. Comput. Mach., Vol. 16, 1969, pp. 9-106. | MR | Zbl
,14. Checking Automata andone-way Stack Languages, J. Comput. System Sc., Vol.3, 1969, pp. 196-217. | MR | Zbl
,15. One Way Finite Visit Automata, Theor. Comput. Sc.,Vol. 6, 1978, pp. 175-221. | MR | Zbl
,16. Introduction to Formal Language Theory, Addison-Wesley, Reading, Massachusetts, 1978. | MR | Zbl
,17. On the Translation of Languages from Left to Right, Information and Control, Vol. 8, 1965, pp. 607-635. | MR | Zbl
,18. O nekotoryh grammatikah s pravilami globalnoi podstanovki, Akad. Nauk S.S.S.R. Nauchno-Tekhn. Inform., Ser. 2, 1973, pp. 32-36. | Zbl
,19. The DOL-Ness for Context-FreeLanguages is Decidable, Inf. Process. Letters, Vol. 5, 1976, pp. 149-151. | MR | Zbl
,