finiteAutomaton
+1892