Dougherty, Daniel J.
Theory Assistant 2 is an application designed to aid students of computer theory. It implements a simulation of Nondeterministic Finite Automata (NFA) and Deterministic Finite Automata (DFA). It further implements a set of tools that will minimize, modify, combine and compare automata. Theory Assistant 2 was designed to be a supplementary learning tool to any computer theory course and a diverse tool for more advanced work in automata.
Worcester Polytechnic Institute
Major Qualifying Project
Access to this report is limited to members of the WPI community. Please contact a project advisor or their department to request access
Restricted-WPI community only