A note on the undecidability of contextfreeness
RAIRO. Informatique théorique, Tome 16 (1982) no. 1, pp. 3-11. 
@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/}
}
TY  - JOUR
AU  - Albert, J.
TI  - A note on the undecidability of contextfreeness
JO  - RAIRO. Informatique théorique
PY  - 1982
SP  - 3
EP  - 11
VL  - 16
IS  - 1
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/ITA_1982__16_1_3_0/
LA  - en
ID  - ITA_1982__16_1_3_0
ER  - 
%0 Journal Article
%A Albert, J.
%T A note on the undecidability of contextfreeness
%J RAIRO. Informatique théorique
%D 1982
%P 3-11
%V 16
%N 1
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1982__16_1_3_0/
%G en
%F 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. A.V. Aho, Indexed Grammars - an Extension of Context - Free Grammars, J. Assoc. Comput. Mach., Vol. 15, 1968, pp. 647-671. | MR | Zbl

2. J. Albert, Über indizierte und m-Block-indizierte Grammatiken, Ph. D. Thesis, Institut fur Angewandte Informatik und Formale Beschreibungsverfahren, Univ. Karlsruhe, 1976.

3. J. Albert and L. Wegner, Languages with Homomorphic Replacements, Theor. Comput. Sc., Vol. 16, 1981, pp. 291-305. | MR | Zbl

4. P. Asveld and J. Engelfriet, Iterated Deterministic Substitution, Acta Informatica, Vol. 8, 1977, pp. 285-302. | MR | Zbl

5. J.-M. Autebert, J. Beauquier, L. Boasson and M. Latteux, Indécidabilité de la condition IRS, Université de Lille I, publication n° 18.79, 1979.

6. B. S. Baker and R. V. Book, Reversal-Bounded Multipush-down Machines, J. Comput. System Sci., Vol. 8, 1974, pp. 315-332. | MR | Zbl

7. Y. Bar-Hillel, M. Perles and E. Shamir, On Formal Properties of Simple Phrase-Structure Grammars, Z. f. Phonetik, Sprachwissenschaft, Kommunikations-forschung, Vol. 14, 1961, pp. 143-177. | MR | Zbl

8. J. Engelfriet, E. Meineche Schmidt and J. Van Leeuwen, Stack Machines and Classes of Nonnested Macro Languages, J. Assoc. Comput. Mach., Vol.27, 1980, pp. 96-117. | MR | Zbl

9. M. J. Fischer, Grammars with Macro-like Productions, Ph. D. Thesis, Haryard Univ., Cambridge, Mass., 1968.

10. S. Ginsburg and H. G. Rice, Two Families of Languages Related to ALGOL, J. Assoc. Comput. Mach., Vol. 9, 1962, pp. 350-371. | MR | Zbl

11. S. Ginsburg, Formal Languages, North-Holland, Amsterdam, 1975.

12. S. Greibach, A Note on Undecidable Properties of Formal Languages, Math. Systems Theory, Vol. 2, 1968, pp. 1-6. | MR | Zbl

13. S. Greibach, An Infinite Hierarchy of Context-Free Languages, J. Assoc. Comput. Mach., Vol. 16, 1969, pp. 9-106. | MR | Zbl

14. S. Greibach, Checking Automata andone-way Stack Languages, J. Comput. System Sc., Vol.3, 1969, pp. 196-217. | MR | Zbl

15. S. Greibach, One Way Finite Visit Automata, Theor. Comput. Sc.,Vol. 6, 1978, pp. 175-221. | MR | Zbl

16. M. A. Harrison, Introduction to Formal Language Theory, Addison-Wesley, Reading, Massachusetts, 1978. | MR | Zbl

17. D. E. Knuth, On the Translation of Languages from Left to Right, Information and Control, Vol. 8, 1965, pp. 607-635. | MR | Zbl

18. M. Levitina, O nekotoryh grammatikah s pravilami globalnoi podstanovki, Akad. Nauk S.S.S.R. Nauchno-Tekhn. Inform., Ser. 2, 1973, pp. 32-36. | Zbl

19. M. Linna, The DOL-Ness for Context-FreeLanguages is Decidable, Inf. Process. Letters, Vol. 5, 1976, pp. 149-151. | MR | Zbl