Acknowledgements

Feedback from Gosse Bouma, Mark-Jan Nederhof, John Nerbonne, Fernando Pereira, Edwin Kuipers and anonymous reviewers from the First International Workshop on Implementing Automata is gratefully acknowledged. The option to produce postscript output is based on work by Peter Kleiweg.