| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des automates, un automate fini alternant est une extension des automates finis. Dans un automate fini non déterministe usuel, un mot est accepté si, parmi les états atteints, il y a au moins un état final. Dans automate fini alternant, c'est la valeur d'une fonction booléenne sur les états atteints qui définit la condition d'acceptation. Le nom « alternant » est basé sur l'observation suivante : à condition d'autoriser les ε-transitions, deux types de conditions suffisent pour exprimer toutes les fonctions booléennes possibles sur les états : parmi les états atteints, au moins un est final ou bien tous sont finaux. Les choix varient donc entre un choix existentiel et un choix universel. Les automates finis alternants sont utilisés pour la reconnaissance de mots infinis, en théorie des jeux, en model checking et en logique. Ils trouvent des applications aussi en apprentissage automatique. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate fini alternant est une extension des automates finis. Dans un automate fini non déterministe usuel, un mot est accepté si, parmi les états atteints, il y a au moins un état final. Dans automate fini alternant, c'est la valeur d'une fonction booléenne sur les états atteints qui définit la condition d'acceptation. Le nom « alternant » est basé sur l'observation suivante : à condition d'autoriser les ε-transitions, deux types de conditions suffisent pour exprimer toutes les fonctions booléennes possibles sur les états : parmi les états atteints, au moins un est final ou bien tous sont finaux. Les choix varient donc entre un choix existentiel et un choix universel. Les automates finis alternants sont utilisés pour la reconnaissance de mots infinis, en théorie des jeux, en model checking et en logique. Ils trouvent des applications aussi en apprentissage automatique. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 14983 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1981 (xsd:integer)
- 1998 (xsd:integer)
- 2001 (xsd:integer)
- 2013 (xsd:integer)
- 2015 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:doi
| |
| prop-fr:id
|
- Kumar (fr)
- CKS81 (fr)
- Raila (fr)
- Kumar (fr)
- CKS81 (fr)
- Raila (fr)
|
| prop-fr:journal
| |
| prop-fr:mois
|
- janvier (fr)
- janvier (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 3 (xsd:integer)
|
| prop-fr:pages
|
- 114 (xsd:integer)
- 224 (xsd:integer)
- 408 (xsd:integer)
- 3308 (xsd:integer)
|
| prop-fr:périodique
|
- Journal of the ACM (fr)
- Journal of the ACM (fr)
|
| prop-fr:série
| |
| prop-fr:titre
|
- Alternation (fr)
- Alternating automata (fr)
- Introduction to alternating finite automata (fr)
- Weak alternating automata are not that weak (fr)
- Weak alternating automata and tree automata emptiness (fr)
- Learning regular languages via alternating automata (fr)
- Alternation (fr)
- Alternating automata (fr)
- Introduction to alternating finite automata (fr)
- Weak alternating automata are not that weak (fr)
- Weak alternating automata and tree automata emptiness (fr)
- Learning regular languages via alternating automata (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 2 (xsd:integer)
- 28 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Chennai Mathematical Institute, Chennai (fr)
- Informatik Universität Freiburg (fr)
- Chennai Mathematical Institute, Chennai (fr)
- Informatik Universität Freiburg (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des automates, un automate fini alternant est une extension des automates finis. Dans un automate fini non déterministe usuel, un mot est accepté si, parmi les états atteints, il y a au moins un état final. Dans automate fini alternant, c'est la valeur d'une fonction booléenne sur les états atteints qui définit la condition d'acceptation. Les automates finis alternants sont utilisés pour la reconnaissance de mots infinis, en théorie des jeux, en model checking et en logique. Ils trouvent des applications aussi en apprentissage automatique. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate fini alternant est une extension des automates finis. Dans un automate fini non déterministe usuel, un mot est accepté si, parmi les états atteints, il y a au moins un état final. Dans automate fini alternant, c'est la valeur d'une fonction booléenne sur les états atteints qui définit la condition d'acceptation. Les automates finis alternants sont utilisés pour la reconnaissance de mots infinis, en théorie des jeux, en model checking et en logique. Ils trouvent des applications aussi en apprentissage automatique. (fr)
|
| rdfs:label
|
- Alternerende eindige automaat (nl)
- Automate fini alternant (fr)
- Autômato finito alternado (pt)
- Alternerende eindige automaat (nl)
- Automate fini alternant (fr)
- Autômato finito alternado (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
