finiteAutomaton
+2096