1nfiniteAutomaton