Theory of Computation

See: computer science

Halting problem	ln	Finite automaton	Markov chain
Pushdown Automaton	Dining philosophers problem	Turing Machine	Alan Turing
computer science	Proof of the existence of irrational numbers	discrete mathematics	Language Generators vs. Language Recognizers
Decidability	Fredkin's Paradox	A Chronology of Communication from electricity to electronics	Finite state machine
properly matched string	Post	Smallest number greater than 0	Total Annihilation
many-one reducible	Markov algorithm	regular operation	concatenation operation

Everything2

Login
Password