Related Tags
turing-completeness × 204turing-machines × 75
computability × 58
computation-models × 47
programming-languages × 31
church-turing-thesis × 16
lambda-calculus × 15
halting-problem × 11
complexity-theory × 9
automata × 9
undecidability × 8
algorithms × 7
cellular-automata × 7
formal-languages × 6
simulation × 6
computer-architecture × 5
decision-problem × 5
functional-programming × 5
finite-automata × 4
reductions × 4
logic × 4
circuits × 4
type-theory × 3
pushdown-automata × 3
boolean-algebra × 3