Le lemme d'itération pour les langages algébriques, aussi connu sous le vocable lemme de Bar-Hillel, Perles et Shamir, donne une condition de répétition nécessaire pour les langages algébriques. Sa version simplifiée pour les langages rationnels est le lemme de l'étoile. Une version plus élaborée du lemme d'itération est le lemme d'Ogden.

Property Value
dbo:abstract
  • Le lemme d'itération pour les langages algébriques, aussi connu sous le vocable lemme de Bar-Hillel, Perles et Shamir, donne une condition de répétition nécessaire pour les langages algébriques. Sa version simplifiée pour les langages rationnels est le lemme de l'étoile. Une version plus élaborée du lemme d'itération est le lemme d'Ogden. (fr)
  • Le lemme d'itération pour les langages algébriques, aussi connu sous le vocable lemme de Bar-Hillel, Perles et Shamir, donne une condition de répétition nécessaire pour les langages algébriques. Sa version simplifiée pour les langages rationnels est le lemme de l'étoile. Une version plus élaborée du lemme d'itération est le lemme d'Ogden. (fr)
dbo:thumbnail
dbo:wikiPageID
  • 5673795 (xsd:integer)
dbo:wikiPageLength
  • 4672 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 185998829 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1961 (xsd:integer)
  • 1997 (xsd:integer)
prop-fr:auteur
prop-fr:id
  • BHPS (fr)
  • BHPS (fr)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lccn
  • 96035322 (xsd:integer)
prop-fr:lienAuteur
  • Yehoshua Bar-Hillel (fr)
  • Micha A. Perles (fr)
  • Yehoshua Bar-Hillel (fr)
  • Micha A. Perles (fr)
prop-fr:lieu
  • Boston (fr)
  • Boston (fr)
prop-fr:nom
  • Sipser (fr)
  • Bar-Hillel (fr)
  • Perles (fr)
  • Sipser (fr)
  • Bar-Hillel (fr)
  • Perles (fr)
prop-fr:pages
  • 143 (xsd:integer)
prop-fr:pagesTotales
  • 396 (xsd:integer)
prop-fr:prénom
  • Michael (fr)
  • Yehoshua (fr)
  • Micha A. (fr)
  • Michael (fr)
  • Yehoshua (fr)
  • Micha A. (fr)
prop-fr:périodique
  • Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung (fr)
  • Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung (fr)
prop-fr:titre
  • Introduction to the Theory of Computation (fr)
  • On formal properties of simple phrase structure grammars (fr)
  • Introduction to the Theory of Computation (fr)
  • On formal properties of simple phrase structure grammars (fr)
prop-fr:volume
  • 14 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • PWS Publishing (fr)
  • PWS Publishing (fr)
dct:subject
rdfs:comment
  • Le lemme d'itération pour les langages algébriques, aussi connu sous le vocable lemme de Bar-Hillel, Perles et Shamir, donne une condition de répétition nécessaire pour les langages algébriques. Sa version simplifiée pour les langages rationnels est le lemme de l'étoile. Une version plus élaborée du lemme d'itération est le lemme d'Ogden. (fr)
  • Le lemme d'itération pour les langages algébriques, aussi connu sous le vocable lemme de Bar-Hillel, Perles et Shamir, donne une condition de répétition nécessaire pour les langages algébriques. Sa version simplifiée pour les langages rationnels est le lemme de l'étoile. Une version plus élaborée du lemme d'itération est le lemme d'Ogden. (fr)
rdfs:label
  • Lema do bombeamento para linguagens livre de contexto (pt)
  • Лемма о разрастании для контекстно-свободных языков (ru)
  • Lema del bombeo para lenguajes libres del contexto (es)
  • Lemat o pompowaniu dla języków bezkontekstowych (pl)
  • Lemme d'itération pour les langages algébriques (fr)
  • Pumping lemma per i linguaggi liberi dal contesto (it)
  • 文脈自由言語の反復補題 (ja)
  • Lema do bombeamento para linguagens livre de contexto (pt)
  • Лемма о разрастании для контекстно-свободных языков (ru)
  • Lema del bombeo para lenguajes libres del contexto (es)
  • Lemat o pompowaniu dla języków bezkontekstowych (pl)
  • Lemme d'itération pour les langages algébriques (fr)
  • Pumping lemma per i linguaggi liberi dal contesto (it)
  • 文脈自由言語の反復補題 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageWikiLink of
is prop-fr:renomméPour of
is oa:hasTarget of
is foaf:primaryTopic of