First Page | Document Content | |
---|---|---|
![]() Date: 2012-11-13 10:48:00Computability theory Computer science Models of computation Alan Turing Tag system Halting problem Computational complexity theory Description number Non-deterministic Turing machine Turing machine Theoretical computer science Theory of computation | Add to Reading List |