Page Index - NBKlepp/Theory_Assistant GitHub Wiki 7 page(s) in this GitHub Wiki: Home A Sample Assignment, Submission and Solution Sets Describing Automata with the GrafState Syntax Naming Conventions, Jar Files and Rubrics The Autograders The Parser Class for Pasring GrafState Syntax The Public API of the Finite Automata Classes (NFA and DFA)