Title: Algebraic theory of automata networks