AACC

A language for building finite state automata. [?]