A note on the undecidability of contextfreenessJ. AlbertRAIRO. Inform. théor., 16 1 (1982) 3-11DOI: https://doi.org/10.1051/ita/1982160100031