finiteAutomaton
+2026