Related terms:
minsky
alan turing
undecidable
kleene
emil post
turing
entscheidungsproblem
finite set
halting
automaton
computation
hodges p
von neumann architecture
unsolvable
twin earth
nonterminal
martin davis
scanned symbol
register machine
stibitz
mauchly
model of computation
multiple realizability
start symbol
move one square
class of problems
complexity class
decision problem
rosser
np problem
Wikipedia sources:
Turing machine
Halting problem
Algorithm
Algorithm examples
Alan Turing
NP (complexity)
Theory of computation
Hilary Putnam
Von Neumann architecture
History of computer science
Computational complexity theory
Functionalism (philosophy of mind)
History of computing hardware
Simulated reality
Chomsky hierarchy
Context-free grammar
Manchester Small-Scale Experimental Machine
Prolog
Context for words:
turing
machine
|
|