Apply the transducer to the input, replacing any internal characters with the given string.
Apply the transducer to the input, replacing any internal characters with the given string.
Assumes transducer is functional, so returns the first found output or None
Calculates regular language that is pre-image of the given regular language.
Calculates regular language that is pre-image of the given regular language. I.e. Pre_T(aut) for transducer T
internal is a map indicating which states should be considered to have an Internal character between them. I.e. map(s) contains s' if there is an internal transition between s and s'
Calculates regular language that is pre-image of the given regular language.
Calculates regular language that is pre-image of the given regular language. I.e. Pre_T(aut) for transducer T
Convenience method for when there are no internal transitions
Return a dot representation of the transducer (may not be implemented)