Compiler, programming language, and C library for constructing finite-state automata and transducers for various uses.