Minimal Automata
The source file
spell.clw
, the listing
spell.pdf
, and the generated lisp file
spell.lisp
.