DETERMINATION METHOD FOR AUTOMATON, DETERMINATION METHOD FOR FINITE STATE TRANSDUCER, AUTOMATON DETERMINATION DEVICE AND DETERMINATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a determination method of an automaton for reducing memory capacity required for determination, and to provide a determination method of a finite state transducer, an automaton determination device and an automaton determination program.;SOLUTION: Partial transition to be determined is selected from transition included in a nondeterministic model every time processing related with determination is repeated, and the name of a determined state configured of the combination of states generated in determining the selected partial transition is changed to single different name every time the processing is repeated.;COPYRIGHT: (C)2009,JPO&INPIT