| http://dbpedia.org/ontology/abstract
|
Em complexidade de computação teórica, uma … Em complexidade de computação teórica, uma máquina de Turing alternada (MTA) é uma máquina de Turing não-determinística (MTN) com a regra que aceita computações que generalizam regras usadas na definição da complexidade das classes NP e co-NP. O conceito de uma ATM foi criado por Chandra e Stockmeyer e independentemente por Kozen em 1976 (veja as referências).e por Kozen em 1976 (veja as referências).
, En informatique théorique, et notamment en … 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.terprétation de la hiérarchie polynomiale.
, 交替性チューリング機械（こうたいせいチューリングきかい、英: Alternating Turing Machine, ATM）は、非決定性チューリング機械 (NTM) の一種であり、複雑性クラス NP および co-NP の定義で使われる規則を一般化した計算受理規則を持つ。1976年、Chandra と Stockmeyer が ATM の概念を定式化した。
, En teoria de la computació, una Màquina de Turing alternant (ATM) és una màquina de Turing no determinista amb una regla per acceptar computacions que generalitzen les regles usades en la definició de les classes de complexitat NP i co-NP.
, En la teoría de la complejidad computacion … En la teoría de la complejidad computacional, una máquina de Turing alternante (ATM) es una (NTM) con una regla para la aceptación de cómputos que generaliza las reglas usadas en la definición de las clases de complejidad NP y co-NP. El concepto de una ATM fue establecido por Chandra y en 1976 (ver referencias).o por Chandra y en 1976 (ver referencias).
, 交替式图灵机（英語：Alternating Turing Machine, ATM）是计算复杂度理论中定义的一种非确定型图灵机（NTM）。与一般非确定型图灵机不同，交替式图灵机将接受语言的规则一般化到NP和反NP。交替式图灵机的概念由Chandra和于1976年提出。
, 교대 튜링 기계(Alternating Turing machine, ATM)는 비결정론적 튜링 기계에 몇가지 조건이 추가된 기계이다.
, In computational complexity theory, an alt … In computational complexity theory, an alternating Turing machine (ATM) is a non-deterministic Turing machine (NTM) with a rule for accepting computations that generalizes the rules used in the definition of the complexity classes NP and co-NP. The concept of an ATM was set forth by Chandra and Stockmeyer and independently by Kozen in 1976, with a joint journal publication in 1981. with a joint journal publication in 1981.
, In der theoretischen Informatik ist eine a … In der theoretischen Informatik ist eine alternierende Turingmaschine (ATM) eine nichtdeterministische Turingmaschine, welche die üblichen Regeln für die Akzeptanz einer Eingabe erweitert. Dabei werden die Zustände der Maschine in existentielle und universelle Zustände aufgeteilt. Erste akzeptieren eine Eingabe, wenn es eine mögliche Berechnung gibt, die akzeptiert, während zweite nur dann akzeptieren, wenn alle möglichen Berechnung akzeptieren.enn alle möglichen Berechnung akzeptieren.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://books.google.com/books%3Fid=wR_oBwAAQBAJ%7Cyear +
|
| http://dbpedia.org/ontology/wikiPageID
|
753230
|
| http://dbpedia.org/ontology/wikiPageLength
|
12424
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1072613732
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Tuple +
, http://dbpedia.org/resource/Co-NP +
, http://dbpedia.org/resource/Complexity_class +
, http://dbpedia.org/resource/Dexter_Kozen +
, http://dbpedia.org/resource/EXPTIME +
, http://dbpedia.org/resource/Boolean_satisfiability_problem +
, http://dbpedia.org/resource/Boolean_function +
, http://dbpedia.org/resource/Category:Models_of_computation +
, http://dbpedia.org/resource/Circuit_minimization_problem +
, http://dbpedia.org/resource/Polynomial_hierarchy +
, http://dbpedia.org/resource/Space_constructible +
, http://dbpedia.org/resource/Immerman%E2%80%93Szelepcs%C3%A9nyi_theorem +
, http://dbpedia.org/resource/Parallel_computation_thesis +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/PSPACE +
, http://dbpedia.org/resource/Larry_Stockmeyer +
, http://dbpedia.org/resource/P_%28complexity%29 +
, http://dbpedia.org/resource/LH_%28complexity%29 +
, http://dbpedia.org/resource/Quantified_Boolean_formula_problem +
, http://dbpedia.org/resource/EXPSPACE +
, http://dbpedia.org/resource/Non-deterministic_Turing_machine +
, http://dbpedia.org/resource/Complexity_classes +
, http://dbpedia.org/resource/NP_%28complexity%29 +
, http://dbpedia.org/resource/Ashok_K._Chandra +
, http://dbpedia.org/resource/Formal_language +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Turing +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:More_footnotes +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Unreferenced_section +
, http://dbpedia.org/resource/Template:Mvar +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Null +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Models_of_computation +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Machine +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Alternating_Turing_machine?oldid=1072613732&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Alternating_Turing_machine +
|
| owl:sameAs |
http://ca.dbpedia.org/resource/M%C3%A0quina_de_Turing_alternant +
, http://yago-knowledge.org/resource/Alternating_Turing_machine +
, https://global.dbpedia.org/id/44DBs +
, http://pt.dbpedia.org/resource/M%C3%A1quina_de_Turing_alternada +
, http://dbpedia.org/resource/Alternating_Turing_machine +
, http://fr.dbpedia.org/resource/Machine_de_Turing_alternante +
, http://es.dbpedia.org/resource/M%C3%A1quina_de_Turing_alternante +
, http://zh.dbpedia.org/resource/%E4%BA%A4%E6%9B%BF%E5%BC%8F%E5%9B%BE%E7%81%B5%E6%9C%BA +
, http://ja.dbpedia.org/resource/%E4%BA%A4%E6%9B%BF%E6%80%A7%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E6%A9%9F%E6%A2%B0 +
, http://www.wikidata.org/entity/Q438833 +
, http://rdf.freebase.com/ns/m.038ft3 +
, http://ko.dbpedia.org/resource/%EA%B5%90%EB%8C%80_%ED%8A%9C%EB%A7%81_%EA%B8%B0%EA%B3%84 +
, http://fa.dbpedia.org/resource/%D9%85%D8%A7%D8%B4%DB%8C%D9%86_%D8%AA%D9%88%D8%B1%DB%8C%D9%86%DA%AF_%D9%85%D8%AA%D9%86%D8%A7%D9%88%D8%A8 +
, http://hr.dbpedia.org/resource/Alterniraju%C4%87i_Turingov_stroj +
, http://de.dbpedia.org/resource/Alternierende_Turingmaschine +
|
| rdf:type |
http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/WikicatModelsOfComputation +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Assistant109815790 +
, http://dbpedia.org/class/yago/Worker109632518 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Model110324560 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/ontology/Software +
|
| rdfs:comment |
교대 튜링 기계(Alternating Turing machine, ATM)는 비결정론적 튜링 기계에 몇가지 조건이 추가된 기계이다.
, En la teoría de la complejidad computacion … En la teoría de la complejidad computacional, una máquina de Turing alternante (ATM) es una (NTM) con una regla para la aceptación de cómputos que generaliza las reglas usadas en la definición de las clases de complejidad NP y co-NP. El concepto de una ATM fue establecido por Chandra y en 1976 (ver referencias).o por Chandra y en 1976 (ver referencias).
, In computational complexity theory, an alt … In computational complexity theory, an alternating Turing machine (ATM) is a non-deterministic Turing machine (NTM) with a rule for accepting computations that generalizes the rules used in the definition of the complexity classes NP and co-NP. The concept of an ATM was set forth by Chandra and Stockmeyer and independently by Kozen in 1976, with a joint journal publication in 1981. with a joint journal publication in 1981.
, In der theoretischen Informatik ist eine a … In der theoretischen Informatik ist eine alternierende Turingmaschine (ATM) eine nichtdeterministische Turingmaschine, welche die üblichen Regeln für die Akzeptanz einer Eingabe erweitert. Dabei werden die Zustände der Maschine in existentielle und universelle Zustände aufgeteilt. Erste akzeptieren eine Eingabe, wenn es eine mögliche Berechnung gibt, die akzeptiert, während zweite nur dann akzeptieren, wenn alle möglichen Berechnung akzeptieren.enn alle möglichen Berechnung akzeptieren.
, 交替式图灵机（英語：Alternating Turing Machine, ATM）是计算复杂度理论中定义的一种非确定型图灵机（NTM）。与一般非确定型图灵机不同，交替式图灵机将接受语言的规则一般化到NP和反NP。交替式图灵机的概念由Chandra和于1976年提出。
, Em complexidade de computação teórica, uma … Em complexidade de computação teórica, uma máquina de Turing alternada (MTA) é uma máquina de Turing não-determinística (MTN) com a regra que aceita computações que generalizam regras usadas na definição da complexidade das classes NP e co-NP. O conceito de uma ATM foi criado por Chandra e Stockmeyer e independentemente por Kozen em 1976 (veja as referências).e por Kozen em 1976 (veja as referências).
, 交替性チューリング機械（こうたいせいチューリングきかい、英: Alternating Turing Machine, ATM）は、非決定性チューリング機械 (NTM) の一種であり、複雑性クラス NP および co-NP の定義で使われる規則を一般化した計算受理規則を持つ。1976年、Chandra と Stockmeyer が ATM の概念を定式化した。
, En informatique théorique, et notamment en … 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.terprétation de la hiérarchie polynomiale.
, En teoria de la computació, una Màquina de Turing alternant (ATM) és una màquina de Turing no determinista amb una regla per acceptar computacions que generalitzen les regles usades en la definició de les classes de complexitat NP i co-NP.
|
| rdfs:label |
Màquina de Turing alternant
, Máquina de Turing alternante
, Machine de Turing alternante
, 交替式图灵机
, Alternierende Turingmaschine
, Alternating Turing machine
, 交替性チューリング機械
, 교대 튜링 기계
, Máquina de Turing alternada
|
