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 | Add to Reading ListSource URL: research.microsoft.comDownload Document from Source WebsiteFile Size: 268,09 KBShare Document on Facebook |