ostrich
Pre-processor for replacing regular expressions with just numeric ids, which streamlines the translation to automata.
Pre-processor for replacing regular expressions with just numeric ids, which streamlines the translation to automata.