C automata library to build, determinize, minimize, translate regexp etc - View it on GitHub