This HTML5 document contains 163 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n17http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16http://www-igm.univ-mlv.fr/~perrin/Recherche/Publications/Loi/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n5http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n15https://doi.org/10.4230/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Théorème_de_Kleene
rdfs:label
Teorema di Kleene Théorème de Kleene
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.
owl:sameAs
wikidata:Q955054 dbpedia-it:Teorema_di_Kleene n17:120x6wgp dbpedia-ru:Теорема_Клини
dbo:wikiPageID
181734
dbo:wikiPageRevisionID
190857295
dbo:wikiPageWikiLink
dbpedia-fr:Vuibert dbpedia-fr:Academic_Press dbpedia-fr:John_Horton_Conway dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Algorithme_de_McNaughton_et_Yamada dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Walter_Pitts dbpedia-fr:Théorie_des_automates category-fr:Théorème_d'informatique dbpedia-fr:Algorithme_de_Conway dbpedia-fr:Warren_McCulloch dbpedia-fr:Demi-anneau dbpedia-fr:Lemme_de_l'étoile dbpedia-fr:Monoïde_syntaxique dbpedia-fr:Samuel_Eilenberg dbpedia-fr:Monoïde_des_traces dbpedia-fr:Monoïde dbpedia-fr:Étoile_de_Kleene dbpedia-fr:Dana_S._Scott category-fr:Théorème_de_logique_mathématique category-fr:Automates_finis_et_langages_réguliers dbpedia-fr:Construction_de_Glushkov dbpedia-fr:Dérivée_de_Brzozowski category-fr:Théorie_des_automates dbpedia-fr:Hiérarchie_de_Chomsky category-fr:Langage_formel category-fr:Stephen_Cole_Kleene dbpedia-fr:Lemme_d'Arden dbpedia-fr:Algorithme_de_Thompson dbpedia-fr:Informatique_théorique dbpedia-fr:Expression_régulière dbpedia-fr:Michael_Rabin dbpedia-fr:Méthode_de_Brzozowski_et_McCluskey dbpedia-fr:Marcel-Paul_Schützenberger dbpedia-fr:Automate_fini_non_déterministe dbpedia-fr:Automate_fini_déterministe dbpedia-fr:Automate_fini dbpedia-fr:Langage_rationnel dbpedia-fr:Automate_pondéré
dbo:wikiPageExternalLink
n15:LIPIcs.ICALP.2020.116 n16:copie3.ps
dbo:wikiPageLength
13593
dct:subject
category-fr:Théorie_des_automates category-fr:Langage_formel category-fr:Stephen_Cole_Kleene category-fr:Théorème_d'informatique category-fr:Théorème_de_logique_mathématique category-fr:Automates_finis_et_langages_réguliers
prop-fr:wikiPageUsesTemplate
n5:Commentaire_biblio n5:Théorème n5:Loupe n5:Portail n5:Chapitre n5:ISBN n5:Références n5:Introduction_to_Automata_Theory,_Languages,_and_Computation n5:Article n5:, n5:Langages_formels,_calculabilité_et_complexité n5:Palette_Informatique_théorique n5:Ouvrage n5:Confusion
prov:wasDerivedFrom
wikipedia-fr:Théorème_de_Kleene?oldid=190857295&ns=0
prop-fr:année
2003 1995 1997 1974 1960 1959 1956 1943 2020 2009
prop-fr:arxiv
2006.12
prop-fr:auteur
Georg Zetzsche Heiko Vogler Werner Kuich Samuel Eilenberg Manfred Droste Dmitry Chistikov Michael O. Rabin et Dana Scott Stephen C. Kleene Robert McNaughton et H. Yamada Dominique Perrin Jacques Sakarovitch Michaël Cadilhac
prop-fr:auteurOuvrage
Artur Czumaj Anuj Dawar Emanuela Merelli
prop-fr:collection
LIPIcs
prop-fr:doi
10.423
prop-fr:id
McNaughtonYamada EilenbergA Perrin1995 RabinScott1959 Sakarovitch McCulloghPitts Kleene1956 DiekertMetivier1997 DrosteEtAl2009
prop-fr:isbn
978
prop-fr:journal
IBM J. Res. Develop. Bull. Math. Biophys. Technique et science informatiques Annals of Mathematics Studies IEEE Transactions on Electronic Computers
prop-fr:langue
en
prop-fr:lieu
New York
prop-fr:nom
Métivier Diekert Walter Pitts Warren S. McCulloch
prop-fr:numéro
34 1 4
prop-fr:pages
39 114 115 409 3
prop-fr:pagesTotales
608 816
prop-fr:passage
116
prop-fr:prénom
Volker Yves
prop-fr:titre
A logical calculus of the ideas immanent in nervous activity Rational Subsets of Baumslag-Solitar Groups Éléments de théorie des automates Automata, Languages and Machines, Vol. A Finite automata and their decision problems Representation of events in nerve nets and finite automata. Automata studies Handbook of Weighted Automata Les débuts de la théorie des automates Regular Expressions and State Graphs for Automata
prop-fr:titreChapitre
Partial Commutation and Traces
prop-fr:titreOuvrage
Actes de ICALP 2020 Handbook of Formal Languages
prop-fr:titreVolume
Beyond Words
prop-fr:url
n15:LIPIcs.ICALP.2020.116
prop-fr:urlTexte
n16:copie3.ps
prop-fr:volume
9 14 3 5
prop-fr:éditeur
Princeton University Press dbpedia-fr:Springer_Science+Business_Media Schloss Dagstuhl - Leibniz-Zentrum für Informatik Springer Verlag dbpedia-fr:Vuibert dbpedia-fr:Academic_Press
prop-fr:auteursOuvrage
G. Rozenberg, A. Salomaa
prop-fr:numéroDansCollection
168
prop-fr:pageDébutChapitre
457
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_de_Kleene
dbo:namedAfter
dbpedia-fr:Stephen_Cole_Kleene
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.