TY - GEN
T1 - Pumping, shrinking and pronouns
T2 - 7th International Conference on Language and Automata Theory and Applications, LATA 2013
AU - Shamir, Eli
PY - 2013
Y1 - 2013
N2 - Pumping-shrinking operation is a useful tool in the study of Formal Languages. A pump-shrink bound for Linear Indexed Grammars is derived, depending only on the the number of auxiliary symbols of the grammar. Observations are suggested on formal operations analogous to shrinking of subordinate clauses.
AB - Pumping-shrinking operation is a useful tool in the study of Formal Languages. A pump-shrink bound for Linear Indexed Grammars is derived, depending only on the the number of auxiliary symbols of the grammar. Observations are suggested on formal operations analogous to shrinking of subordinate clauses.
KW - Formal Languages
KW - Linear-Index Grammars
KW - pumping shrinking lemmas
UR - http://www.scopus.com/inward/record.url?scp=84875662128&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-37064-9_45
DO - 10.1007/978-3-642-37064-9_45
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84875662128
SN - 9783642370632
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 516
EP - 522
BT - Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Proceedings
PB - Springer Verlag
Y2 - 2 April 2013 through 5 April 2013
ER -