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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n24http://commons.dbpedia.org/resource/Category:
n9http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n11http://fr.dbpedia.org/resource/Modèle:
n4http://fr.dbpedia.org/resource/Fichier:
n6http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fahttp://fa.dbpedia.org/resource/
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/
n16http://ma-graph.org/entity/
n26http://fr.dbpedia.org/resource/Modèle:Q%3C/nowiki%3E%3Csub%3E1%3C/sub%3E%7D,_%7Bq%3Csub%3E2%3C/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbpedia-thhttp://th.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Automate_de_Büchi
rdfs:label
Autômato de Büchi Automate de Büchi
rdfs:comment
En informatique théorique, un automate de Büchi est un ω-automate ou automate fini opérant sur des mots infinis, avec une condition d'acceptation particulière : une trace (ou calcul ou chemin infini) est réussie si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. Un mot infini est accepté s'il est l'étiquette d'un calcul réussi. Ce type d'automate est utilisé en vérification de modèles. Ce type d'automate a été défini par le mathématicien Julius Richard Büchi.
owl:sameAs
n9:01ylgd dbpedia-cs:Büchiho_automat dbpedia-fa:اتوماتون_بوچی n16:165753454 dbr:Büchi_automaton wikidata:Q1020380 dbpedia-de:Büchi-Automat dbpedia-th:บือคีออโตมาตอน dbpedia-pt:Autômato_de_Büchi n24:Büchi_automaton dbpedia-pl:Automat_Büchiego dbpedia-it:Automa_di_Büchi
dbo:wikiPageID
1689040
dbo:wikiPageRevisionID
188331508
dbo:wikiPageWikiLink
n4:Buchi_generalise.svg dbpedia-fr:Langage_rationnel dbpedia-fr:Problème_du_mot n4:Automate_de_Buchi.jpg n4:Automate_de_Buchi2.jpg dbpedia-fr:Étoile_de_Kleene n4:Automate_de_Buchi3.jpg dbpedia-fr:Problème_non_élémentaire category-fr:Théorie_des_automates dbpedia-fr:Alphabet dbpedia-fr:Mot_infini dbpedia-fr:Julius_Richard_Büchi dbpedia-fr:Informatique_théorique dbpedia-fr:Vérification_de_modèles dbpedia-fr:Automate_sur_les_mots_infinis dbpedia-fr:Automate_fini dbpedia-fr:Automate_de_Muller dbpedia-fr:PSPACE dbpedia-fr:Logique_temporelle dbpedia-fr:Logique_temporelle_linéaire dbpedia-fr:Logique_monadique_du_second_ordre category-fr:Vérification_de_modèles category-fr:Calculabilité
dbo:wikiPageLength
24374
dct:subject
category-fr:Calculabilité category-fr:Théorie_des_automates category-fr:Vérification_de_modèles
prop-fr:wikiPageUsesTemplate
n11:Chapitre n11:Langue n11:Refm n11:Retrait n11:Palette_Automates_finis_et_langages_réguliers n11:Ouvrage n11:Références n11:Portail n26:sub%3E%3Cnowiki%3E n11:,
prov:wasDerivedFrom
wikipedia-fr:Automate_de_Büchi?oldid=188331508&ns=0
foaf:depiction
n6:Automate_de_Buchi2.jpg n6:Automate_de_Buchi3.jpg n6:Buchi_generalise.svg n6:Automate_de_Buchi.jpg
prop-fr:année
2002 1990 1974
prop-fr:auteur
Wolfgang Thomas
prop-fr:auteurOuvrage
: Jan Van Leeuwen : Erich Grädel, Wolfgang Thomas et Thomas Wilke
prop-fr:collection
Pure and Applied Mathematics Lecture Notes in Computer Science
prop-fr:id
EilenbergA
prop-fr:isbn
0 978
prop-fr:nom
Eilenberg Farwer
prop-fr:pagesTotales
xvi+451 1287 viii+385
prop-fr:passage
379 133 3
prop-fr:prénom
Samuel Berndt
prop-fr:titre
Automata, Languages and Machines, Vol. A Automata on infinite objects ω-Automata
prop-fr:titreChapitre
Chap. XIV. Infinite Behavior of Finite Automata
prop-fr:titreOuvrage
Automata, logics, and infinite games : A guide to current research Handbook of Theoretical Computer Science: Formal Models and Semantics
prop-fr:tome
B
prop-fr:éditeur
Academic Press Springer-Verlag
prop-fr:numéroDansCollection
2500 58
dbo:thumbnail
n6:Automate_de_Buchi.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Automate_de_Büchi
dbo:discoverer
dbpedia-fr:Julius_Richard_Büchi
dbo:namedAfter
dbpedia-fr:Julius_Richard_Büchi
dbo:abstract
En informatique théorique, un automate de Büchi est un ω-automate ou automate fini opérant sur des mots infinis, avec une condition d'acceptation particulière : une trace (ou calcul ou chemin infini) est réussie si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. Un mot infini est accepté s'il est l'étiquette d'un calcul réussi. Ce type d'automate est utilisé en vérification de modèles. Ce type d'automate a été défini par le mathématicien Julius Richard Büchi.