ostrich.automata
Helper methods to translate transducers in symbolic representation (an arbitrary formula associated with each transition) to the Brics representation.
TODO: check that transducers are deterministic!
Helper methods to translate transducers in symbolic representation (an arbitrary formula associated with each transition) to the Brics representation.
TODO: check that transducers are deterministic!