Metadata
Author: patents-wipo
Data
English[en]
According to one embodiment of the present invention, provided are a server, a terminal apparatus, a computer-readable recording medium, and a method for integrating a first and a second nondeterministic finite automata, comprising the following steps: (a) acquiring first and second nondeterministic finite automatas; (b) determining whether a first transition set for moving a start state to an i state, within the first nondeterministic finite automata, and a second transition set for moving the start state to a j state within the second nondeterministic finite automata are identical; and (c) integrating the first and second nondeterministic finite automata by generating a state k in which the states i and j are combined in one, when the first transition set and the second transition set are identical.
Korean[ko]
본 발명의 일 태양에 따르면, (a) 제1 및 제2 비결정적 유한 오토마타를 획득하는 단계, (b) 제1 비결정적 유한 오토마타 내에서 시작 상태를 상태 i로 이동시키는 제1 천이 집합과 제2 비결정적 유한 오토마타 내에서 시작 상태를 상태 j로 이동시키는 제2 천이 집합이 서로 동일한지 여부를 판단하는 단계, 및 (c) 제1 천이 집합과 제2 천이 집합이 동일하면, 상태 i 및 j를 하나로 합한 상태 k를 생성하여 제1 및 제2 비결정적 유한 오토마타를 병합하는 단계를 포함하는 방법, 서버, 단말 장치 및 컴퓨터 판독 가능한 기록 매체가 제공된다.