The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages

Seki et al. (Theor. Comput. Sci. 88(2):191–229, 1991 ) showed that every m -multiple context-free language L is weakly 2 m -iterative in the sense that either L is finite or L contains a subset of the form , where w 1 ⋯ w 2 n ≠ ε . Whether every m -multiple context-free language L is 2 m -iterative,...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Theory of computing systems Ročník 55; číslo 1; s. 250 - 278
Hlavní autori: Kanazawa, Makoto, Kobele, Gregory M., Michaelis, Jens, Salvati, Sylvain, Yoshinaka, Ryo
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Boston Springer US 01.07.2014
Springer Nature B.V
Springer Verlag
Predmet:
Analysis
Computation
Computation and Language
Computer Science
Failure
Formal Languages and Automata Theory
Grammar
Informatics
Language
Mathematical analysis
Pumping
Studies
Texts
Theory of Computation
Trees
Multiple context-free grammar
Pumping lemma
ISSN:1432-4350, 1433-0490
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Seki et al. (Theor. Comput. Sci. 88(2):191–229, 1991 ) showed that every m -multiple context-free language L is weakly 2 m -iterative in the sense that either L is finite or L contains a subset of the form , where w 1 ⋯ w 2 n ≠ ε . Whether every m -multiple context-free language L is 2 m -iterative, that is to say, whether all but finitely many elements z of L can be written as z = u 0 w 1 u 1 ⋯ w 2 m u 2 m with w 1 ⋯ w 2 m ≠ ε and , has been open. We show that there is a 3-multiple context-free language that is not k -iterative for any k .
Bibliografia:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:1432-4350
1433-0490
DOI:10.1007/s00224-014-9534-z