In particular, in cases where the transformed value is not generated by the FST, we can assume that one or more of the transformed tags was chosen incorrectly; and make the minimal set of changes to those tags that results in a string that is generated by the FST.
we can compute the optimal un-transformed output value corresponding to each transformed output using the following procedure: 2.