witrin/formal-theory (packagist): FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.
Keywords: state|transform|expression|formal|theory|regex|regular|dfa|nfa|fa|deterministic|nondeterministic|finite|automata|lexer|optimizer