Date: 2013-05-16 00:14:15Model theory Models of computation Formal languages Abstraction Metalogic Deterministic finite automaton Nondeterministic finite automaton Interpretation DFA minimization Automata theory Mathematics Logic | | Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer ScienceAdd to Reading ListSource URL: research.microsoft.comDownload Document from Source Website File Size: 789,37 KBShare Document on Facebook
|