About: Pumping lemma for context-free languages

Property	Value
dbo:description	lemma giving a property shared by all context-free languages (en) lemme donnant une condition de répétition nécessaire pour les langages algébriques (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/Pumping_lemma_for_context-free_languages.svg?width=300
dbo:wikiPageExternalLink	https://archive.org/details/introductiontoth00sips
dbo:wikiPageWikiLink	dbr:Ogden's_lemma dbr:Context-free_language dbr:Pumping_lemma_for_regular_languages dbr:Pumping_lemma dbc:Formal_languages dbr:Computer_science dbr:Lemma_(mathematics) dbr:Substring dbc:Lemmas dbr:Proof_by_contradiction dbr:Yehoshua_Bar-Hillel dbr:Interchange_lemma dbr:Formal_language_theory dbr:String_length dbr:Finite_language dbr:File:Pumping_lemma_for_context-free_languages.svg
dbp:wikiPageUsesTemplate	dbt:Formal_languages_and_grammars dbt:Cite_book dbt:Reflist dbt:Math dbt:Cite_journal dbt:Mvar dbt:' dbt:Short_description
dct:subject	dbc:Formal_languages dbc:Lemmas
gold:hypernym	dbr:Lemma
rdfs:label	Pumping lemma for context-free languages (en) Lema del bombeo para lenguajes libres del contexto (es) Lemme d'itération pour les langages algébriques (fr) Pumping lemma per i linguaggi liberi dal contesto (it) 文脈自由言語の反復補題 (ja) Lemat o pompowaniu dla języków bezkontekstowych (pl) Lema do bombeamento para linguagens livre de contexto (pt) Лемма о разрастании для контекстно-свободных языков (ru)
owl:sameAs	freebase:Pumping lemma for context-free languages yago-res:Pumping lemma for context-free languages wikidata:Pumping lemma for context-free languages dbpedia-it:Pumping lemma for context-free languages dbpedia-fr:Pumping lemma for context-free languages dbpedia-ja:Pumping lemma for context-free languages dbpedia-pt:Pumping lemma for context-free languages dbpedia-he:Pumping lemma for context-free languages dbpedia-es:Pumping lemma for context-free languages dbpedia-fa:Pumping lemma for context-free languages dbpedia-ru:Pumping lemma for context-free languages dbpedia-pl:Pumping lemma for context-free languages dbpedia-hr:Pumping lemma for context-free languages dbpedia-mk:Pumping lemma for context-free languages dbpedia-nn:Pumping lemma for context-free languages dbpedia-no:Pumping lemma for context-free languages dbpedia-global:Pumping lemma for context-free languages
prov:wasDerivedFrom	wikipedia-en:Pumping_lemma_for_context-free_languages?oldid=1237591175&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Pumping_lemma_for_context-free_languages.svg
foaf:isPrimaryTopicOf	wikipedia-en:Pumping_lemma_for_context-free_languages
is dbo:knownFor of	dbr:Eli_Shamir dbr:Micha_Perles dbr:Yehoshua_Bar-Hillel
is dbo:wikiPageRedirects of	dbr:Bar-Hillel_lemma dbr:Bar-Hillel_lemma dbr:The_bar-hilel_lemma dbr:The_bar-hillel_lemma dbr:The_bar_Hillel_lemma dbr:The_bar_hilel_lemma dbr:Pumping_lemma_(context-free_languages) dbr:Pumping_lemma_for_context_free_languages
is dbo:wikiPageWikiLink of	dbr:Eli_Shamir dbr:Induction_of_regular_languages dbr:Pattern_language_(formal_languages) dbr:Ogden's_lemma dbr:Context-free_language dbr:Pumping_lemma_for_regular_languages dbr:Micha_Perles dbr:Formal_grammar dbr:Pumping_lemma dbr:Index_of_philosophy_articles_(I–Q) dbr:Computability dbr:Indexed_language dbr:Mildly_context-sensitive_grammar_formalism dbr:Regular_expression dbr:Context-free_grammar dbr:Indexed_grammar dbr:Chomsky_normal_form dbr:Noncontracting_grammar dbr:Conjunctive_grammar dbr:Interchange_lemma dbr:Bar-Hillel_lemma dbr:The_bar-hilel_lemma dbr:The_bar-hillel_lemma dbr:The_bar_Hillel_lemma dbr:The_bar_hilel_lemma dbr:Pumping_lemma_(context-free_languages) dbr:Pumping_lemma_for_context_free_languages
is dbp:knownFor of	dbr:Eli_Shamir dbr:Micha_Perles dbr:Yehoshua_Bar-Hillel
is foaf:primaryTopic of	wikipedia-en:Pumping_lemma_for_context-free_languages