Automaton is a dfa/nfa (finite-state automata) implementation with unicode alphabet (utf16) and support for the standard regular expression operations (concatenation, union, kleene star) and a number of non-standard ones (intersection, complement, etc.).