Automata for infinite argumentation structures