Distributed graph problems through an automata-theoretic lens