Property |
Value |
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. (fr)
- 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. (fr)
|
dbo:discoverer
| |
dbo:namedAfter
| |
dbo:thumbnail
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 24374 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1974 (xsd:integer)
- 1990 (xsd:integer)
- 2002 (xsd:integer)
|
prop-fr:auteur
|
- Wolfgang Thomas (fr)
- Wolfgang Thomas (fr)
|
prop-fr:auteurOuvrage
|
- : Erich Grädel, Wolfgang Thomas et Thomas Wilke (fr)
- : Jan Van Leeuwen (fr)
- : Erich Grädel, Wolfgang Thomas et Thomas Wilke (fr)
- : Jan Van Leeuwen (fr)
|
prop-fr:collection
|
- Lecture Notes in Computer Science (fr)
- Pure and Applied Mathematics (fr)
- Lecture Notes in Computer Science (fr)
- Pure and Applied Mathematics (fr)
|
prop-fr:id
|
- EilenbergA (fr)
- EilenbergA (fr)
|
prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
prop-fr:nom
|
- Eilenberg (fr)
- Farwer (fr)
- Eilenberg (fr)
- Farwer (fr)
|
prop-fr:numéroDansCollection
|
- 58 (xsd:integer)
- 2500 (xsd:integer)
|
prop-fr:pagesTotales
|
- 1287 (xsd:integer)
- viii+385 (fr)
- xvi+451 (fr)
|
prop-fr:passage
|
- 3 (xsd:integer)
- 133 (xsd:integer)
- 379 (xsd:integer)
|
prop-fr:prénom
|
- Samuel (fr)
- Berndt (fr)
- Samuel (fr)
- Berndt (fr)
|
prop-fr:titre
|
- Automata on infinite objects (fr)
- Automata, Languages and Machines, Vol. A (fr)
- ω-Automata (fr)
- Automata on infinite objects (fr)
- Automata, Languages and Machines, Vol. A (fr)
- ω-Automata (fr)
|
prop-fr:titreChapitre
|
- Chap. XIV. Infinite Behavior of Finite Automata (fr)
- Chap. XIV. Infinite Behavior of Finite Automata (fr)
|
prop-fr:titreOuvrage
|
- Handbook of Theoretical Computer Science: Formal Models and Semantics (fr)
- Automata, logics, and infinite games : A guide to current research (fr)
- Handbook of Theoretical Computer Science: Formal Models and Semantics (fr)
- Automata, logics, and infinite games : A guide to current research (fr)
|
prop-fr:tome
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Academic Press (fr)
- Springer-Verlag (fr)
- Academic Press (fr)
- Springer-Verlag (fr)
|
dct:subject
| |
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. (fr)
- 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. (fr)
|
rdfs:label
|
- Automate de Büchi (fr)
- Autômato de Büchi (pt)
- Automate de Büchi (fr)
- Autômato de Büchi (pt)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |