About: dbpedia-fr:Théorème_de

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Théorème_de_Kleene Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Teorema di Kleene (it) Théorème de Kleene (fr)
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)
sameAs	wikidata:Q955054 dbpedia-it:Teorema_di_Kleene dbpedia-ru:Теорема_Клини http://g.co/kg/g/120x6wgp
Wikipage page ID	181734 (xsd:integer)
Wikipage revision ID	190857295 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Automates_finis_et_langages_réguliers category-fr:Théorème_de_logique_mathématique Academic Press dbpedia-fr:Algorithme_de_Conway dbpedia-fr:Algorithme_de_McNaughton_et_Yamada Thompson's construction dbpedia-fr:Automate_fini dbpedia-fr:Automate_fini_déterministe dbpedia-fr:Automate_fini_non_déterministe dbpedia-fr:Automate_pondéré category-fr:Langage_formel category-fr:Stephen_Cole_Kleene category-fr:Théorie_des_automates category-fr:Théorème_d'informatique dbpedia-fr:Construction_de_Glushkov dbpedia-fr:Dana_S._Scott Semiring dbpedia-fr:Dérivée_de_Brzozowski Regular expression Chomsky hierarchy Theoretical computer science dbpedia-fr:John_Horton_Conway dbpedia-fr:Langage_rationnel dbpedia-fr:Lemme_d'Arden dbpedia-fr:Lemme_de_l'étoile Monoid Trace monoid Syntactic monoid dbpedia-fr:Méthode_de_Brzozowski_et_McCluskey dbpedia-fr:Samuel_Eilenberg dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Théorie_des_automates dbpedia-fr:Vuibert Walter Pitts Warren Sturgis McCulloch Kleene star dbpedia-fr:Marcel-Paul_Schützenberger dbpedia-fr:Michael_Rabin
Link from a Wikipage to an external page	https://doi.org/10.4230/LIPIcs.ICALP.2020.116 http://www-igm.univ-mlv.fr/~perrin/Recherche/Publications/Loi/copie3.ps
page length (characters) of wiki page	13593 (xsd:nonNegativeInteger)
dct:subject	category-fr:Automates_finis_et_langages_réguliers category-fr:Théorème_de_logique_mathématique category-fr:Langage_formel category-fr:Stephen_Cole_Kleene category-fr:Théorie_des_automates category-fr:Théorème_d'informatique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Confusion dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Commentaire_biblio dbpedia-fr:Modèle:Loupe dbpedia-fr:Modèle:Théorème dbpedia-fr:Modèle:Introduction_to_Automata_Theory,_Languages,_and_Computation dbpedia-fr:Modèle:Langages_formels,_calculabilité_et_complexité dbpedia-fr:Modèle:Palette_Informatique_théorique
prov:wasDerivedFrom	wikipedia-fr:Théorème_de_Kleene?oldid=190857295&ns=0
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	2006 (xsd:double)
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)
prop-fr:auteurOuvrage	Artur Czumaj Anuj Dawar Emanuela Merelli (fr)
prop-fr:collection	LIPIcs (fr)
prop-fr:doi	10 (xsd:double)
prop-fr:id	Sakarovitch (fr) DrosteEtAl2009 (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 18 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software