A (Co)algebraic Theory of Succinct Automata