rex (racket): Language for deterministic finite state machines
Keywords: DFA|dsl|dfa|racket|regular-expression