Finished FiniteAutomata abstract super class