@article{ITA_1986__20_4_457_0, author = {Boonyavatana, R. and Slutzki, G.}, title = {Ogden's lemma for nonterminal bounded languages}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {457--471}, publisher = {AFCET - Gauthier-Villars}, address = {Paris}, volume = {20}, number = {4}, year = {1986}, zbl = {0631.68065}, mrnumber = {880847}, language = {en}, url = {http://www.numdam.org/item/ITA_1986__20_4_457_0/} }
TY - JOUR AU - Boonyavatana, R. AU - Slutzki, G. TI - Ogden's lemma for nonterminal bounded languages JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1986 DA - 1986/// SP - 457 EP - 471 VL - 20 IS - 4 PB - AFCET - Gauthier-Villars PP - Paris UR - http://www.numdam.org/item/ITA_1986__20_4_457_0/ UR - https://zbmath.org/?q=an%3A0631.68065 UR - https://www.ams.org/mathscinet-getitem?mr=880847 LA - en ID - ITA_1986__20_4_457_0 ER -
Boonyavatana, R.; Slutzki, G. Ogden's lemma for nonterminal bounded languages. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 4, pp. 457-471. http://www.numdam.org/item/ITA_1986__20_4_457_0/
1. The Theory of Parsing, Translation, and Compiling, Vol. 1, Prentice-Hall, 1972. | MR 408321
, and ,2. Transductions and Context-Free Languages, Teubner, Stuttgart 1979. | MR 549481 | Zbl 0424.68040
,3. On languages satisfying Ogder's lemma, RAIRO Informatique Théorique, Vol. 12 (3), 1978, pp. 201-202. | Numdam | MR 510637 | Zbl 0387.68054
and ,4. A pumping lemma for Nonterminal Bounded Languages, manuscript, 1984.
and ,5. Linearity is Polynomially Decidable for Realtime Pushdown Store Automata, Inform. Contr., Vol. 42, 1979, p. 27-37. | MR 538377 | Zbl 0413.68086
,6. The Unsolvability of the Recognition of Linear Context-Free Languages, JACM, Vol. 13, (4), 1966, pp. 582-587. | MR 205770 | Zbl 0148.00901
,7. Introduction to Formal Language Theory, Addison-Wesley, Reading, Mass., 1978. | MR 526397 | Zbl 0411.68058
,8. Introduction to Automata Theory Languages and Computation, Addison-Wesley, Reading, Mass, 1979. | MR 645539 | Zbl 0426.68001
and ,9. A Helpful Result for Proving Inherent Ambiguity. Math. Syst Theory, Vol. 2 (3), pp. 191-194. | MR 233645 | Zbl 0175.27802
,