The algorithm that we present here builds an acyclic deterministic finite s
tate machine (automaton or transducer), as each word recognized has a prope
r element, i.e, a transition or a final state that belongs only to the reco
gnizing path of this word. (C) 2000 Elsevier Science B.V. All rights reserv
ed.