Title: Synthesis of Digital Automata