Add automata construction.