| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des langages formels et des automates, le théorème de Myhill-Nerode donne une condition nécessaire et suffisante pour qu'un langage formel soit un langage rationnel, c'est-à-dire reconnaissable par un automate fini. Ce théorème porte les noms de John Myhill et Anil Nerode qui l'ont prouvé en 1958. L'intérêt de cet énoncé est que la condition nécessaire et suffisante porte sur le langage lui-même, et ne fait pas appel à la construction d'un automate. La preuve est par contre constructive, et permet d'obtenir effectivement un automate qui s'avère de plus être minimal. (fr)
- En informatique théorique, et notamment en théorie des langages formels et des automates, le théorème de Myhill-Nerode donne une condition nécessaire et suffisante pour qu'un langage formel soit un langage rationnel, c'est-à-dire reconnaissable par un automate fini. Ce théorème porte les noms de John Myhill et Anil Nerode qui l'ont prouvé en 1958. L'intérêt de cet énoncé est que la condition nécessaire et suffisante porte sur le langage lui-même, et ne fait pas appel à la construction d'un automate. La preuve est par contre constructive, et permet d'obtenir effectivement un automate qui s'avère de plus être minimal. (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8552 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1958 (xsd:integer)
- 1974 (xsd:integer)
- 2003 (xsd:integer)
- 2008 (xsd:integer)
|
| prop-fr:collection
|
- Pure and Applied Mathematics (fr)
- Pure and Applied Mathematics (fr)
|
| prop-fr:id
|
- Sakarovitch (fr)
- Carton2008 (fr)
- Eilenberg1974 (fr)
- Sakarovitch (fr)
- Carton2008 (fr)
- Eilenberg1974 (fr)
|
| prop-fr:isbn
| |
| prop-fr:journal
|
- Proceedings of the American Mathematical Society (fr)
- Proceedings of the American Mathematical Society (fr)
|
| prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
| prop-fr:lienAuteur
|
- Anil Nerode (fr)
- Samuel Eilenberg (fr)
- Anil Nerode (fr)
- Samuel Eilenberg (fr)
|
| prop-fr:lieu
|
- New York (fr)
- Paris (fr)
- New York (fr)
- Paris (fr)
|
| prop-fr:mois
| |
| prop-fr:nom
|
- Carton (fr)
- Eilenberg (fr)
- Sakarovitch (fr)
- Nerode (fr)
- Carton (fr)
- Eilenberg (fr)
- Sakarovitch (fr)
- Nerode (fr)
|
| prop-fr:numéro
| |
| prop-fr:numéroDansCollection
| |
| prop-fr:pages
| |
| prop-fr:pagesTotales
|
- 237 (xsd:integer)
- 816 (xsd:integer)
- xvi+451 (fr)
|
| prop-fr:prénom
|
- Olivier (fr)
- Jacques (fr)
- Samuel (fr)
- Anil (fr)
- Olivier (fr)
- Jacques (fr)
- Samuel (fr)
- Anil (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:sousTitre
|
- licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques (fr)
- licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques (fr)
|
| prop-fr:titre
|
- Éléments de théorie des automates (fr)
- Automata, Languages and Machines, Vol. A (fr)
- Langages formels, calculabilité et complexité (fr)
- Linear Automaton Transformations (fr)
- Éléments de théorie des automates (fr)
- Automata, Languages and Machines, Vol. A (fr)
- Langages formels, calculabilité et complexité (fr)
- Linear Automaton Transformations (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des langages formels et des automates, le théorème de Myhill-Nerode donne une condition nécessaire et suffisante pour qu'un langage formel soit un langage rationnel, c'est-à-dire reconnaissable par un automate fini. Ce théorème porte les noms de John Myhill et Anil Nerode qui l'ont prouvé en 1958. (fr)
- En informatique théorique, et notamment en théorie des langages formels et des automates, le théorème de Myhill-Nerode donne une condition nécessaire et suffisante pour qu'un langage formel soit un langage rationnel, c'est-à-dire reconnaissable par un automate fini. Ce théorème porte les noms de John Myhill et Anil Nerode qui l'ont prouvé en 1958. (fr)
|
| rdfs:label
|
- Myhill–Nerode theorem (en)
- Satz von Myhill-Nerode (de)
- Stelling van Myhill-Nerode (nl)
- Teorema di Myhill-Nerode (it)
- Théorème de Myhill-Nerode (fr)
- マイヒル–ネローデの定理 (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:renomméPour
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
