Add FiniteAutomation and KMP