| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des langages, le lemme d'itération de Bader et Moura est un lemme d'itération pour les langages algébriques qui généralise le lemme d'itération d'Ogden. L'extension consiste à introduire, en plus de la notion de position distinguée, la notion de position exclue. La contrainte sur la présence de positions distinguées dans un mot s'enrichit d'une contrainte sur l'absence de positions exclues dans les facteurs itérés. Le lemme a été établi en 1982 par Christopher Bader et Arnaldo Moura. Le lemme n'a pas eu autant de retentissement que le lemme d'Ogden par exemple. (fr)
- En informatique théorique, et notamment en théorie des langages, le lemme d'itération de Bader et Moura est un lemme d'itération pour les langages algébriques qui généralise le lemme d'itération d'Ogden. L'extension consiste à introduire, en plus de la notion de position distinguée, la notion de position exclue. La contrainte sur la présence de positions distinguées dans un mot s'enrichit d'une contrainte sur l'absence de positions exclues dans les facteurs itérés. Le lemme a été établi en 1982 par Christopher Bader et Arnaldo Moura. Le lemme n'a pas eu autant de retentissement que le lemme d'Ogden par exemple. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5181 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1982 (xsd:integer)
- 1990 (xsd:integer)
|
| prop-fr:auteur
|
- Jean Berstel (fr)
- Luc Boasson (fr)
- Jean Berstel (fr)
- Luc Boasson (fr)
|
| prop-fr:auteursOuvrage
|
- G. Rozenberg, A. Salomaa (fr)
- G. Rozenberg, A. Salomaa (fr)
|
| prop-fr:doi
| |
| prop-fr:isbn
| |
| prop-fr:journal
|
- Journal of the ACM (fr)
- Journal of the ACM (fr)
|
| prop-fr:langue
| |
| prop-fr:nom
|
- Moura (fr)
- Bader (fr)
- Moura (fr)
- Bader (fr)
|
| prop-fr:numéro
| |
| prop-fr:pages
| |
| prop-fr:passage
| |
| prop-fr:prénom
|
- Christopher (fr)
- Arnaldo (fr)
- Christopher (fr)
- Arnaldo (fr)
|
| prop-fr:titre
|
- A Generalization of Ogden's Lemma (fr)
- A Generalization of Ogden's Lemma (fr)
|
| prop-fr:titreChapitre
|
- Context-Free Languages (fr)
- Context-Free Languages (fr)
|
| prop-fr:titreOuvrage
|
- Handbook of Theoretical Computer Science (fr)
- Handbook of Theoretical Computer Science (fr)
|
| prop-fr:titreVolume
|
- Formal Models and Sematics (fr)
- Formal Models and Sematics (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Elsevier et MIT Press (fr)
- Elsevier et MIT Press (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des langages, le lemme d'itération de Bader et Moura est un lemme d'itération pour les langages algébriques qui généralise le lemme d'itération d'Ogden. L'extension consiste à introduire, en plus de la notion de position distinguée, la notion de position exclue. La contrainte sur la présence de positions distinguées dans un mot s'enrichit d'une contrainte sur l'absence de positions exclues dans les facteurs itérés. Le lemme a été établi en 1982 par Christopher Bader et Arnaldo Moura. Le lemme n'a pas eu autant de retentissement que le lemme d'Ogden par exemple. (fr)
- En informatique théorique, et notamment en théorie des langages, le lemme d'itération de Bader et Moura est un lemme d'itération pour les langages algébriques qui généralise le lemme d'itération d'Ogden. L'extension consiste à introduire, en plus de la notion de position distinguée, la notion de position exclue. La contrainte sur la présence de positions distinguées dans un mot s'enrichit d'une contrainte sur l'absence de positions exclues dans les facteurs itérés. Le lemme a été établi en 1982 par Christopher Bader et Arnaldo Moura. Le lemme n'a pas eu autant de retentissement que le lemme d'Ogden par exemple. (fr)
|
| rdfs:label
|
- Lemme d'itération de Bader et Moura (fr)
- Lemme d'itération de Bader et Moura (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
