Alternating Turing machine
Sign in to saveAlso known as Alternating Turing Machine, ATM
abstract computation model
Connections
complexity class
Entity
non-deterministic Turing machine
Entity
Alan Turing
Entity
International Standard Book Number
Entity
digital object identifier
Entity
Turing machine
Entity
formal language
Entity
𝑛-tuple
Entity
computational complexity theory
Entity
Q22908627
Entity
Springer Science+Business Media
Entity
NP
Entity
P
Entity
Handle System
Entity
boolean satisfiability problem
Entity
Boolean function
Entity
CiteSeerX
Entity
Christos Papadimitriou
Entity
PSPACE
Entity
universal Turing machine
Entity