Includes supplementary material: sn.pub/extras
Bruce Watson
Simulation algorithms automata automata computations automata theory cellular automata finite automata formal languages formal methods foundations implementations modeling natural language proving statecharts