Non-deterministic FST (Finite State Transducer) implementation, which can enumerate all possible solutions