Related Tags
computation-models × 461turing-machines × 137
computability × 105
automata × 52
complexity-theory × 51
turing-completeness × 44
finite-automata × 32
algorithms × 31
simulation × 25
terminology × 22
formal-languages × 19
reference-request × 19
programming-languages × 16
lambda-calculus × 16
nondeterminism × 16
parallel-computing × 14
quantum-computing × 14
context-free × 13
computer-architecture × 12
undecidability × 12
pushdown-automata × 12
church-turing-thesis × 10
time-complexity × 9
regular-languages × 9
algorithm-analysis × 8