Attributes | Values |
---|
rdfs:label
| - Alternating Turing machine (en)
- Alternierende Turingmaschine (de)
- Machine de Turing alternante (fr)
- Màquina de Turing alternant (ca)
- Máquina de Turing alternante (es)
- 交替式图灵机 (zh)
|
rdfs:comment
| - En informatique théorique, et notamment en théorie de la complexité, les machines de Turing alternantes sont une généralisation des machines de Turing non déterministes. Leur mode d'acceptation généralise les conditions d'acceptation utilisées dans les classes de complexité NP et co-NP. Le concept de machine de Turing alternante a été formulé par Ashok K. Chandra et Larry Stockmeyer et indépendamment par Dexter Kozen en 1976, avec un article publié en commun en 1981. Chandra et Stockmeyer les utilisent pour démontrer des bornes inférieures en temps exponentiel pour des jeux à deux joueurs. Les machines alternantes donnent une autre interprétation de la hiérarchie polynomiale. (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
| |
prop-fr:année
| |
prop-fr:auteur
| |
prop-fr:isbn
| |
prop-fr:langue
| |
prop-fr:lieu
| |
prop-fr:lireEnLigne
| |
prop-fr:pagesTotales
| |
prop-fr:passage
| - Section 10.3: Alternation, (fr)
- Section 16.2: Alternation, (fr)
|
prop-fr:titre
| - Computational Complexity (fr)
- Introduction to the Theory of Computation (fr)
- Automata Theory and its Applications (fr)
|
prop-fr:éditeur
| - Springer Science & Business Media (fr)
- Addison Wesley (fr)
- PWS Publishing (fr)
|
prop-fr:numéroD'édition
| |
foaf:isPrimaryTopicOf
| |
has abstract
| - En informatique théorique, et notamment en théorie de la complexité, les machines de Turing alternantes sont une généralisation des machines de Turing non déterministes. Leur mode d'acceptation généralise les conditions d'acceptation utilisées dans les classes de complexité NP et co-NP. Le concept de machine de Turing alternante a été formulé par Ashok K. Chandra et Larry Stockmeyer et indépendamment par Dexter Kozen en 1976, avec un article publié en commun en 1981. Chandra et Stockmeyer les utilisent pour démontrer des bornes inférieures en temps exponentiel pour des jeux à deux joueurs. Les machines alternantes donnent une autre interprétation de la hiérarchie polynomiale. (fr)
|
is dbo:wikiPageWikiLink
of | |
is prop-fr:renomméPour
of | |