| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et plus précisément en théorie des automates, le théorème de Kleene affirme qu'un langage est rationnel (i.e. décrit par une expression rationnelle) si et seulement s’il est reconnu par un automate fini. C'est un théorème fondamental de la théorie des langages formels et des automates.La première formulation de ce théorème est due au mathématicien Stephen C. Kleene. (fr)
- En informatique théorique, et plus précisément en théorie des automates, le théorème de Kleene affirme qu'un langage est rationnel (i.e. décrit par une expression rationnelle) si et seulement s’il est reconnu par un automate fini. C'est un théorème fondamental de la théorie des langages formels et des automates.La première formulation de ce théorème est due au mathématicien Stephen C. Kleene. (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 13593 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1943 (xsd:integer)
- 1956 (xsd:integer)
- 1959 (xsd:integer)
- 1960 (xsd:integer)
- 1974 (xsd:integer)
- 1995 (xsd:integer)
- 1997 (xsd:integer)
- 2003 (xsd:integer)
- 2009 (xsd:integer)
- 2020 (xsd:integer)
|
| prop-fr:arxiv
| |
| prop-fr:auteur
|
- Samuel Eilenberg (fr)
- Dominique Perrin (fr)
- Heiko Vogler (fr)
- Jacques Sakarovitch (fr)
- Manfred Droste (fr)
- Michaël Cadilhac (fr)
- Werner Kuich (fr)
- Dmitry Chistikov (fr)
- Georg Zetzsche (fr)
- Michael O. Rabin et Dana Scott (fr)
- Robert McNaughton et H. Yamada (fr)
- Stephen C. Kleene (fr)
- Samuel Eilenberg (fr)
- Dominique Perrin (fr)
- Heiko Vogler (fr)
- Jacques Sakarovitch (fr)
- Manfred Droste (fr)
- Michaël Cadilhac (fr)
- Werner Kuich (fr)
- Dmitry Chistikov (fr)
- Georg Zetzsche (fr)
- Michael O. Rabin et Dana Scott (fr)
- Robert McNaughton et H. Yamada (fr)
- Stephen C. Kleene (fr)
|
| prop-fr:auteurOuvrage
|
- Artur Czumaj Anuj Dawar Emanuela Merelli (fr)
- Artur Czumaj Anuj Dawar Emanuela Merelli (fr)
|
| prop-fr:auteursOuvrage
|
- G. Rozenberg, A. Salomaa (fr)
- G. Rozenberg, A. Salomaa (fr)
|
| prop-fr:collection
| |
| prop-fr:doi
| |
| prop-fr:id
|
- Sakarovitch (fr)
- DrosteEtAl2009 (fr)
- EilenbergA (fr)
- Perrin1995 (fr)
- RabinScott1959 (fr)
- DiekertMetivier1997 (fr)
- Kleene1956 (fr)
- McCulloghPitts (fr)
- McNaughtonYamada (fr)
- Sakarovitch (fr)
- DrosteEtAl2009 (fr)
- EilenbergA (fr)
- Perrin1995 (fr)
- RabinScott1959 (fr)
- DiekertMetivier1997 (fr)
- Kleene1956 (fr)
- McCulloghPitts (fr)
- McNaughtonYamada (fr)
|
| prop-fr:isbn
| |
| prop-fr:journal
|
- Annals of Mathematics Studies (fr)
- IBM J. Res. Develop. (fr)
- IEEE Transactions on Electronic Computers (fr)
- Technique et science informatiques (fr)
- Bull. Math. Biophys. (fr)
- Annals of Mathematics Studies (fr)
- IBM J. Res. Develop. (fr)
- IEEE Transactions on Electronic Computers (fr)
- Technique et science informatiques (fr)
- Bull. Math. Biophys. (fr)
|
| prop-fr:langue
| |
| prop-fr:lieu
|
- New York (fr)
- New York (fr)
|
| prop-fr:nom
|
- Métivier (fr)
- Diekert (fr)
- Walter Pitts (fr)
- Warren S. McCulloch (fr)
- Métivier (fr)
- Diekert (fr)
- Walter Pitts (fr)
- Warren S. McCulloch (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 4 (xsd:integer)
- 34 (xsd:integer)
|
| prop-fr:numéroDansCollection
| |
| prop-fr:pageDébutChapitre
| |
| prop-fr:pages
|
- 3 (xsd:integer)
- 39 (xsd:integer)
- 114 (xsd:integer)
- 115 (xsd:integer)
- 409 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 608 (xsd:integer)
- 816 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:prénom
|
- Yves (fr)
- Volker (fr)
- Yves (fr)
- Volker (fr)
|
| prop-fr:titre
|
- Éléments de théorie des automates (fr)
- Automata, Languages and Machines, Vol. A (fr)
- Finite automata and their decision problems (fr)
- Handbook of Weighted Automata (fr)
- Rational Subsets of Baumslag-Solitar Groups (fr)
- Regular Expressions and State Graphs for Automata (fr)
- A logical calculus of the ideas immanent in nervous activity (fr)
- Les débuts de la théorie des automates (fr)
- Representation of events in nerve nets and finite automata. Automata studies (fr)
- Éléments de théorie des automates (fr)
- Automata, Languages and Machines, Vol. A (fr)
- Finite automata and their decision problems (fr)
- Handbook of Weighted Automata (fr)
- Rational Subsets of Baumslag-Solitar Groups (fr)
- Regular Expressions and State Graphs for Automata (fr)
- A logical calculus of the ideas immanent in nervous activity (fr)
- Les débuts de la théorie des automates (fr)
- Representation of events in nerve nets and finite automata. Automata studies (fr)
|
| prop-fr:titreChapitre
|
- Partial Commutation and Traces (fr)
- Partial Commutation and Traces (fr)
|
| prop-fr:titreOuvrage
|
- Handbook of Formal Languages (fr)
- Actes de ICALP 2020 (fr)
- Handbook of Formal Languages (fr)
- Actes de ICALP 2020 (fr)
|
| prop-fr:titreVolume
|
- Beyond Words (fr)
- Beyond Words (fr)
|
| prop-fr:url
| |
| prop-fr:urlTexte
| |
| prop-fr:volume
|
- 3 (xsd:integer)
- 5 (xsd:integer)
- 9 (xsd:integer)
- 14 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et plus précisément en théorie des automates, le théorème de Kleene affirme qu'un langage est rationnel (i.e. décrit par une expression rationnelle) si et seulement s’il est reconnu par un automate fini. C'est un théorème fondamental de la théorie des langages formels et des automates.La première formulation de ce théorème est due au mathématicien Stephen C. Kleene. (fr)
- En informatique théorique, et plus précisément en théorie des automates, le théorème de Kleene affirme qu'un langage est rationnel (i.e. décrit par une expression rationnelle) si et seulement s’il est reconnu par un automate fini. C'est un théorème fondamental de la théorie des langages formels et des automates.La première formulation de ce théorème est due au mathématicien Stephen C. Kleene. (fr)
|
| rdfs:label
|
- Teorema di Kleene (it)
- Théorème de Kleene (fr)
- Teorema di Kleene (it)
- Théorème de Kleene (fr)
|
| 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 | |
