Automata-based Representations for Infinite Graphs