Began implementing reverse automata rules
Removed unused fields and code
refactored variables
reformatted code