Related terms:
mml
turing
minsky
kleene
abacus
halting
stibitz
hodges p
emil post
automaton
twin earth
unsolvable
alan turing
undecidable
start symbol
problems in np
halting problem
polynomial time
move one square
abstract machine
complexity class
complexity theory
computing machine
entscheidungsproblem
computable function
model of computation
multiple realizability
minimum message length
von neumann architecture
universal turing machine
Wikipedia sources:
Turing machine
Universal Turing machine
Halting problem
Algorithm
Computational complexity theory
Alan Turing
NP (complexity)
Theory of computation
Prolog
Hilary Putnam
Occam's razor
Polynomial time
Simulated reality
The Diamond Age
Kolmogorov complexity
History of computer science
Chomsky hierarchy
Von Neumann architecture
Context-free grammar
A New Kind of Science
Functionalism (philosophy of mind)
History of computing hardware
Manchester Small-Scale Experimental Machine
Context for words:
turing
machine
|
|