DETERMINATION DEVICE, DETERMINATION METHOD AND PROGRAM

摘要

PROBLEM TO BE SOLVED: To efficiently determine whether or not a set of series described by a regular expression including a new operator includes a set of series described by another regular expression. SOLUTION: A determination device for determining whether or not a first regular expression L describing a set of series of element data is included in a second regular expression R: determines whether or not each of the regular expressions L and R includes an existential operator representing a set of series of two or more specified element data arranged in an arbitrary order; on condition that the regular expression L does not include an existential operator and the regular expression R includes an existential operator, calculates a complementary language representing a set of all the series that are not included in the regular expression R; and on condition that a common part of the set of series of element data described by the regular expression L and the set of series of element data described by the complementary language of the regular expression R is an empty set, determines that the regular expression L is included in the regular expression R. COPYRIGHT: (C)2006,JPO&NCIPI