Better Automata through Process Algebra