First Page | Document Content | |
---|---|---|
![]() Date: 2013-03-28 00:33:04Computability theory Models of computation Computer science Alan Turing Formal methods Computational complexity theory Cellular automaton Non-deterministic Turing machine Busy beaver Turing machine Theory of computation Theoretical computer science | Add to Reading List |