Automata for dynamic answer set solving: Preliminary report