| Attributes | Values |
|---|
| rdfs:label
| - Automate sur les mots infinis (fr)
- Autômato ω (pt)
|
| 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. (fr)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| Link from a Wikipage to an external page
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| prop-fr:année
| |
| prop-fr:auteurOuvrage
| - Erich Grädel, Wolfgang Thomas et Thomas Wilke (fr)
|
| prop-fr:collection
| - Lecture Notes in Computer Science (fr)
|
| prop-fr:id
| |
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lieu
| |
| prop-fr:nom
| - Pin (fr)
- Thomas (fr)
- Perrin (fr)
- Farwer (fr)
|
| prop-fr:pages
| |
| prop-fr:pagesTotales
| |
| prop-fr:passage
| |
| prop-fr:prénom
| - Dominique (fr)
- Wolfgang (fr)
- Berndt (fr)
- Jean-Éric (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:sousTitre
| - Automata, Semigroups, Logic and Games (fr)
|
| prop-fr:titre
| - Infinite Words (fr)
- ω-Automata (fr)
|
| prop-fr:titreChapitre
| - Automata on infinite objects (fr)
|
| prop-fr:titreOuvrage
| - Handbook of Theoretical Computer Science (fr)
- Automata, logics, and infinite games : A guide to current research (fr)
|
| prop-fr:titreVolume
| - Formal Models and Semantics (fr)
|
| prop-fr:volume
| |
| prop-fr:éditeur
| - Elsevier (fr)
- Springer-Verlag (fr)
|
| prop-fr:auteursOuvrage
| |
| prop-fr:numéroDansCollection
| |
| thumbnail
| |
| foaf:isPrimaryTopicOf
| |
| has 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é. (fr)
|
| is dbo:wikiPageWikiLink
of | |
| is Wikipage redirect
of | |
| is oa:hasTarget
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
