First Page | Document Content | |
---|---|---|
![]() Date: 2002-05-15 18:08:52Computability theory Models of computation Theory of computation Formal methods Algorithm Abstract state machines Computable function Church–Turing thesis Turing machine Theoretical computer science Computer science Applied mathematics | Source URL: research.microsoft.comDownload Document from Source WebsiteFile Size: 268,09 KBShare Document on Facebook |