This HTML5 document contains 83 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/
n23https://books.google.com/
n24http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://www.tcs.tifr.res.in/~pandya/grad/aut06/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n7http://fr.dbpedia.org/resource/Modèle:
dbpedia-cshttp://cs.dbpedia.org/resource/
n14http://fr.dbpedia.org/resource/Fichier:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n22http://commons.wikimedia.org/wiki/Special:FilePath/
n25http://fr.dbpedia.org/resource/Modèle:Traduction/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n19http://www.hec.unil.ch/logique/recherche/
owlhttp://www.w3.org/2002/07/owl#
n26http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Automate_sur_les_mots_infinis
rdfs:label
Autômato ω Automate sur les mots infinis
rdfs:comment
En informatique théorique, et spécialement en théorie des automates, un automate sur les mots infinis ou ω-automate est un automate fini qui accepte des mots infinis. Un tel automate lit un mot infini, ainsi, l'exécution ne s'arrête pas ; les conditions d'acceptation portent sur l'exécution elle-même là où elles ne traitent que de l'état d'arrivée (et de la possibilité de lire le mot) dans le cas des automates sur les mots finis.
owl:sameAs
dbpedia-cs:Ω-automat dbpedia-it:Omega_automa dbpedia-de:Ω-Automat wikidata:Q291256 dbr:Ω-automaton dbpedia-pt:Autômato_ω n24:09v63p6 n26:92710233 dbpedia-fa:ماشین_امگا
dbo:wikiPageID
5591486
dbo:wikiPageRevisionID
186620996
dbo:wikiPageWikiLink
category-fr:Méthode_formelle dbpedia-fr:Automate_fini dbpedia-fr:Automate_de_Muller n14:Buechie01.PNG dbpedia-fr:Automate_à_pile dbpedia-fr:Théorie_des_automates dbpedia-fr:Système_d'exploitation dbpedia-fr:Mot_infini category-fr:Théorie_des_automates category-fr:Calculabilité dbpedia-fr:Alphabet dbpedia-fr:Informatique_théorique dbpedia-fr:Langage_rationnel dbpedia-fr:Automate_de_Büchi dbpedia-fr:Automate_d'arbres
dbo:wikiPageExternalLink
n10:lect4.pdf n19:Automata.pdf n23:books%3Fid=tfZkZw6-ZTQC&printsec=frontcover
dbo:wikiPageLength
10127
dct:subject
category-fr:Calculabilité category-fr:Théorie_des_automates category-fr:Méthode_formelle
prop-fr:wikiPageUsesTemplate
n7:Ouvrage n7:Références n7:Portail n7:Loupe n7:Chapitre n25:Référence n7:Palette
prov:wasDerivedFrom
wikipedia-fr:Automate_sur_les_mots_infinis?oldid=186620996&ns=0
foaf:depiction
n22:Buechie01.png
prop-fr:année
2002 2004 1990
prop-fr:auteurOuvrage
Erich Grädel, Wolfgang Thomas et Thomas Wilke
prop-fr:collection
Lecture Notes in Computer Science
prop-fr:id
thomasVolB
prop-fr:isbn
978
prop-fr:langue
en
prop-fr:lieu
Amsterdam/Boston
prop-fr:nom
Perrin Thomas Farwer Pin
prop-fr:pages
3
prop-fr:pagesTotales
538 viii+385
prop-fr:passage
3 133
prop-fr:prénom
Jean-Éric Dominique Berndt Wolfgang
prop-fr:présentationEnLigne
n23:books%3Fid=tfZkZw6-ZTQC&printsec=frontcover
prop-fr:sousTitre
Automata, Semigroups, Logic and Games
prop-fr:titre
ω-Automata Infinite Words
prop-fr:titreChapitre
Automata on infinite objects
prop-fr:titreOuvrage
Automata, logics, and infinite games : A guide to current research Handbook of Theoretical Computer Science
prop-fr:titreVolume
Formal Models and Semantics
prop-fr:volume
B
prop-fr:éditeur
Elsevier Springer-Verlag
prop-fr:auteursOuvrage
Jan Van Leeuwen
prop-fr:numéroDansCollection
2500
dbo:thumbnail
n22:Buechie01.png?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Automate_sur_les_mots_infinis
dbo:abstract
En informatique théorique, et spécialement en théorie des automates, un automate sur les mots infinis ou ω-automate est un automate fini qui accepte des mots infinis. Un tel automate lit un mot infini, ainsi, l'exécution ne s'arrête pas ; les conditions d'acceptation portent sur l'exécution elle-même là où elles ne traitent que de l'état d'arrivée (et de la possibilité de lire le mot) dans le cas des automates sur les mots finis. Les automates sur les mots infinis servent à modéliser des calculs qui ne terminent pas, comme le comportement d'un système d'exploitation, ou d'un système de contrôle. Pour de tels systèmes, on peut spécifier des propriétés comme « chaque requête sera suivie d'une réponse » ou sa négation « il existe une requête qui n'est pas suivie d'une réponse ». De telle propriétés peuvent être formulées pour des mots infinis et peuvent être vérifiées par des automates finis. Plusieurs classes d'automates sur les mots infinis ont été introduites : les automates de Büchi, automates de Rabin, automates de Streett, automates de parité, automates de Muller et, pour chaque classe, les automates déterministes ou non. Ces classes diffèrent seulement par leur condition d'acceptation. Toutes ces classes, à l'exception notable des automates de Büchi déterministes, reconnaissent la même famille d'ensembles de mots infinis, appelés ensembles rationnels de mots infinis ou ω-langages rationnels. Ces automates, même s'ils acceptent les mêmes langages, peuvent varier en taille pour un langage donné.