Alternierende Turingmaschine
Sign in to saveAlso known as Alternating Turing Machine, ATM
Rechnermodell der theoretischen Informatik. Eine nichtdeterministische Turingmaschine, welche die üblichen Regeln für die Akzeptanz einer Eingabe erweitert.
In the Vinony graph
Within Vinony's link graph, Alternierende Turingmaschine is referenced by 225 other articles, and connects out to complexity class, non-deterministic Turing machine and Alan Turing.
It is catalogued under the topic Models of computation.
Its subject is documented across 11 Wikipedia language editions.
Article · Deutsch
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.
Abstract from DBpedia / Wikipedia · CC BY-SA