[memling]

He also wrote a great intro to generating finite automata using Scheme macros.[0] It carries you through step by step and motivates the work well.

[0] http://cs.brown.edu/~sk/Publications/Papers/Published/sk-aut...