결정적 유한 오토마타 oor Engels

결정적 유한 오토마타

Vertalings in die woordeboek Koreaans - Engels

deterministic finite automaton

finite-state machine that accepts and rejects strings of symbols and only produces a unique computation (or run) of the automaton for each input string

voorbeelde

복수의 정규 표현식을 동시에 사용하여 검색하기 위해 복수의 비결정적 유한 오토마타를 병합하는 방법, 서버, 단말 장치 및 컴퓨터 판독 가능한 기록 매체
Method, server, terminal apparatus, and computer-readable recording medium for integrating plurality of nondeterministic finite automata for searching by simultaneously using plurality of regular expressions

하지만, 이 알고리즘은 본질적으로 버나드 로이가 1959년에 발표한 알고리즘과, 스티븐 워셜이 1962년에 발표한 알고리즘과 그래프의 추이적 폐포를 찾는다는 점,그리고 결정적 유한 오토마타를 정규 표현식으로 변환할 때, 클레이니 알고리즘(1956년에 발표됨)과 밀접한 관련이 있다는 점에서 동일하다.
However, it is essentially the same as algorithms previously published by Bernard Roy in 1959 and also by Stephen Warshall in 1962 for finding the transitive closure of a graph, and is closely related to Kleene's algorithm (published in 1956) for converting a deterministic finite automaton into a regular expression.

본 발명의 일 태양에 따르면, (a) 제1 및 제2 비결정적 유한 오토마타를 획득하는 단계, (b) 제1 비결정적 유한 오토마타 내에서 시작 상태를 상태 i로 이동시키는 제1 천이 집합과 제2 비결정적 유한 오토마타 내에서 시작 상태를 상태 j로 이동시키는 제2 천이 집합이 서로 동일한지 여부를 판단하는 단계, 및 (c) 제1 천이 집합과 제2 천이 집합이 동일하면, 상태 i 및 j를 하나로 합한 상태 k를 생성하여 제1 및 제2 비결정적 유한 오토마타를 병합하는 단계를 포함하는 방법, 서버, 단말 장치 및 컴퓨터 판독 가능한 기록 매체가 제공된다.
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.