First Page | Document Content | |
---|---|---|
Date: 2011-09-16 13:09:59Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science | The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USAAdd to Reading ListSource URL: research.microsoft.comDownload Document from Source WebsiteFile Size: 238,38 KBShare Document on Facebook |