1 |
1
유한 상태 기계 추론 장치가, 상태의 집합 S와 상기 집합 S에 속한 각 상태를 구분하기 위한 입력의 집합 E 및 상기 집합 S의 원소와 상기 집합 E의 원소의 결합으로 만들어진 입력에 대한 실제의 유한 상태 기계 M의 응답인 출력의 집합 T에 기초하여 유한 상태 기계 M'를 추론하는 단계;상기 유한 상태 기계 추론 장치가, RSO(Random Sampling Oracle) 티처를 이용하여 상기 실제의 유한 상태 기계 M과 상기 추론한 유한 상태 기계 M'의 제1 동등성 검정(Equivalence Test)을 수행하는 단계; 및상기 유한 상태 기계 추론 장치가, 상기 제1 동등성 검정의 결과 상기 M과 상기 M'가 동일한 것으로 판단된 경우에, W-Method 티처를 이용하여 상기 M과 상기 M'의 제2 동등성 검정을 수행하고, 상기 제2 동등성 검정의 결과 상기 M과 상기 M'가 동일한 것으로 판단된 경우에, 상기 추론한 유한 상태 기계 M'가 상기 실제의 유한 상태 기계 M과 동일한 것으로 최종 판단하는 단계를 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
2 |
2
제1항에 있어서,상기 유한 상태 기계 M'를 추론하는 단계는,상기 집합 S와 상기 집합 E 및 상기 집합 T에 기초하여 Observation Table을 생성하고, 상기 Observation Table이 닫힌 경우(Closed)에 상기 Observation Table에 기초하여 상기 유한 상태 기계 M'를 추론하는 단계를 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
3 |
3
제1항에 있어서,상기 제1 동등성 검정(Equivalence Test)을 수행하는 단계는,상기 RSO 티처에서 선택한 임의의 질의 중에서 제1 질의에 대한 상기 M과 상기 M'의 응답이 다른 경우에 상기 M과 상기 M'가 동등하지 않은 것으로 판단하고, 상기 제1 질의를 반증(Counterexample)으로 제공하는 단계를 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
4 |
4
제3항에 있어서,상기 제1 질의를 반증(Counterexample)으로 제공하는 단계는,상기 제1 질의에 포함된 입력을 상기 집합 E에 추가하고, 상기 유한 상태 기계 M'를 추론하는 단계를 다시 수행하는 단계를 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
5 |
5
제1항에 있어서,상기 제1 동등성 검정(Equivalence Test)을 수행하는 단계는,상기 RSO 티처에서 선택한 모든 질의에 대한 상기 M과 상기 M'의 응답이 동일한 경우에 상기 M과 상기 M'가 동등한 것으로 상기 제1 동등성 검정의 결과를 판단하는 단계를 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
6 |
6
제1항에 있어서,상기 추론한 유한 상태 기계 M'가 상기 실제의 유한 상태 기계 M과 동일한 것으로 최종 판단하는 단계는,상기 집합 S에 기초하여 집합 P를 생성하고, 상기 집합 E에 기초하여 집합 W를 생성하고, 상기 집합 P와 상기 집합 W에 기초하여 상기 제2 동등성 검정을 수행할 질의의 집합 Z'를 생성하는 단계를 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
7 |
7
제6항에 있어서,상기 제2 동등성 검정을 수행할 질의의 집합 Z'를 생성하는 단계는,P = S U S·I 수식에 의해 상기 집합 P를 생성하는 단계를 포함하되,상기 I는 입력 문자(Input Symbol)의 집합인,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
8 |
8
제6항에 있어서,상기 제2 동등성 검정을 수행할 질의의 집합 Z'를 생성하는 단계는,W = E 수식에 의해 상기 집합 W를 생성하는 단계를 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
9 |
9
제6항에 있어서,상기 제2 동등성 검정을 수행할 질의의 집합 Z'를 생성하는 단계는,Z' = (S ∪ S·I)·(I ∪ I2 ∪ I3 … ∪ Im-n)·E 수식에 의해 상기 집합 Z'를 생성하는 단계를 포함하되,상기 I는 입력 문자(Input Symbol)의 집합이고,상기 m은 상기 실제의 유한 상태 기계 M이 가지는 상태의 최대 상한이고,상기 n은 상기 추론한 유한 상태 기계 M'가 가지는 상태의 수인,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
10 |
10
제6항에 있어서,상기 제2 동등성 검정을 수행할 질의의 집합 Z'를 생성하는 단계는,상기 집합 Z'이 원소 중에서 제2 질의에 대한 상기 M과 상기 M'의 응답이 다른 경우에 상기 M과 상기 M'가 동등하지 않은 것으로 판단하고, 상기 제2 질의를 반증(Counterexample)으로 제공하는 단계를 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
11 |
11
제6항에 있어서,상기 제2 동등성 검정을 수행할 질의의 집합 Z'를 생성하는 단계는,상기 집합 Z'에 속한 모든 원소에 대한 상기 M과 상기 M'의 응답이 동일한 경우에 상기 M과 상기 M'가 동등한 것으로 상기 제2 동등성 검정의 결과를 판단하는 단계를 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 방법
|
12 |
12
네트워크 인터페이스;하나 이상의 프로세서;상기 프로세서에 의하여 수행되는 컴퓨터 프로그램을 로드하는 메모리; 및상태의 집합 S와 입력 문자의 집합 I를 저장하는 스토리지를 포함하되,상기 컴퓨터 프로그램은,상기 집합 S와 상기 집합 S에 속한 각 상태를 구분하기 위한 입력의 집합 E 및 상기 집합 S의 원소와 상기 집합 E의 원소의 결합으로 만들어진 입력에 대한 실제의 유한 상태 기계 M의 응답인 출력의 집합 T에 기초하여 유한 상태 기계 M'를 추론하는 오퍼레이션;RSO(Random Sampling Oracle) 티처를 이용하여 상기 실제의 유한 상태 기계 M과 상기 추론한 유한 상태 기계 M'의 제1 동등성 검정(Equivalence Test)을 수행하는 오퍼레이션;상기 제1 동등성 검정의 결과 상기 M과 상기 M'가 동일한 것으로 판단된 경우에, W-Method 티처를 이용하여 상기 M과 상기 M'의 제2 동등성 검정을 수행하고, 상기 제2 동등성 검정의 결과 상기 M과 상기 M'가 동일한 것으로 판단된 경우에, 상기 추론한 유한 상태 기계 M'가 상기 실제의 유한 상태 기계 M과 동일한 것으로 최종 판단하는 오퍼레이션을 포함하되,상기 추론한 유한 상태 기계 M'가 상기 실제의 유한 상태 기계 M과 동일한 것으로 최종 판단하는 오퍼레이션은,상기 집합 S에 기초하여 집합 P를 생성하고, 상기 집합 E에 기초하여 집합 W를 생성하고, 상기 집합 P와 상기 집합 W에 기초하여 상기 제2 동등성 검정을 수행할 질의의 집합 Z'를 생성하고, 상기 집합 Z'를 이용하여 상기 제2 동등성 검정을 수행하는 오퍼레이션을 포함하는,하이브리드 티처를 이용한 유한 상태 기계 추론 장치
|