摘要 |
PROBLEM TO BE SOLVED: To fasten collation processing of a query using an automaton.SOLUTION: When updating an automaton A for each portion required for collation step by step from an initial automaton A0, a collation processing device 100 counts the cumulative number of times of detection each time a path satisfying a condition of a query Q is detected. In the case where the path satisfying the condition of the query Q is detected, the collation processing device 100 newly adds a path collation state specifying the detected path to the automaton A. In the case where there is no space in the automaton A, the collation processing device 100 cancels a path collation state for specifying the path with the minimum number of times of detection from the automaton A and newly adds a path collation state to the automaton A. |