Back to Results
First PageMeta Content
Model 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 Science
Add to Reading List

Document Date: 2013-05-16 00:14:15

Open Document

File Size: 789,37 KB

Share Result on Facebook
UPDATE