model computation turing machine commonly used model complexity theory many types turing machines used define complexity classes deterministic turing machines probabilistic turing machines non deterministic turing machines quantum turing machines symmetric turing machines alternating turing machines equally powerful principle resources time space bounded may powerful others deterministic turing machine basic turing machine uses fixed set rules determine future actions probabilistic
Formal science Computer science Theory of computation Computational complexity theory