맞춤기술찾기

이전대상기술

메모리 효율적인 결정적 유한 오토마타 구현을 위한 상태 감소 방법

  • 기술번호 : KST2015211710
  • 담당센터 : 경기기술혁신센터
  • 전화번호 : 031-8006-1570
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 텍스트 상에서의 정규 표현식(regular expression)을 결정적 유한 오토마타(deterministic finite automata, 이하 DFA)로 변환하는 방법에 관한 것으로서, 정규 표현식이 복잡해지고 그 숫자가 증가함에 따라 정규 표현식을 결정적 유한 오토마타로 변환하는 과정에서 발생 가능한 상태 확대(state blowup) 문제를 동일한 입력 문자를 갖는 상태의 병합(merging)을 통해 해결함으로써, 메모리 효율적인 결정적 유한 오토마타를 구현한다. 본 발명에 따른 방법은, (a) 상기 N개의 정규 표현식 패턴 각각의 문자열 길이를 L(i)에 저장하는 단계; (b) 상기 저장된 패턴의 길이 L(i)에 따라 패턴을 역방향 정렬하는 단계; (c) 상기 역방향 정렬된 정규 표현식 패턴을 기계가 받아들이는 유한 오토마타 가운데, 상태 천이 시 변환된 상태의 유일성을 갖는 결정적 유한 오토마타로 변환하는 단계; (d) 상기 (c)에서 변환된 결정적 유한 오토마타 가운데, i(1≤i≤N-1)번째 패턴으로부터 생성된 결정적 유한 오토마톤과 j(i+1≤j≤N)번째 패턴으로부터 생성된 결정적 유한 오토마톤 내 상태 간 비교 과정을 통해 동일한 입력 문자를 갖는 상태를 찾는 단계; (e) 상기 (d) 단계에서 찾은 결합 가능한 상태를 병합하여 새로운 상태를 생성하는 단계; (f) 상기 (e) 단계에서 생성된 결정적 유한 오토마타에 기존 알고리듬을 적용하는 단계를 포함한다.
Int. CL G06F 17/20 (2006.01)
CPC G06F 17/2282(2013.01)
출원번호/일자 1020130030112 (2013.03.21)
출원인 경기대학교 산학협력단
등록번호/일자 10-1382787-0000 (2014.04.01)
공개번호/일자
공고번호/일자 (20140408) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2013.03.21)
심사청구항수 6

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 경기대학교 산학협력단 대한민국 경기도 수원시 영통구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 최윤호 대한민국 경기 수원시 영통구
2 박종호 대한민국 서울 동작구
3 서승우 대한민국 서울 동작구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 박승민 대한민국 서울특별시 강남구 남부순환로**** 차우빌딩*층(특허법인지명)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 경기대학교 산학협력단 경기도 수원시 영통구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2013.03.21 수리 (Accepted) 1-1-2013-0243478-28
2 출원인정보변경(경정)신고서
Notification of change of applicant's information
2013.07.29 수리 (Accepted) 4-1-2013-5105476-10
3 선행기술조사의뢰서
Request for Prior Art Search
2013.11.07 수리 (Accepted) 9-1-9999-9999999-89
4 선행기술조사보고서
Report of Prior Art Search
2013.12.12 수리 (Accepted) 9-1-2013-0100819-94
5 의견제출통지서
Notification of reason for refusal
2014.01.29 발송처리완료 (Completion of Transmission) 9-5-2014-0076617-97
6 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)
2014.03.03 수리 (Accepted) 1-1-2014-0206623-86
7 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment
2014.03.03 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2014-0206624-21
8 출원인정보변경(경정)신고서
Notification of change of applicant's information
2014.03.04 수리 (Accepted) 4-1-2014-5027623-63
9 출원인정보변경(경정)신고서
Notification of change of applicant's information
2014.03.04 수리 (Accepted) 4-1-2014-5027621-72
10 등록결정서
Decision to grant
2014.03.27 발송처리완료 (Completion of Transmission) 9-5-2014-0217194-94
11 [대리인선임]대리인(대표자)에 관한 신고서
[Appointment of Agent] Report on Agent (Representative)
2016.07.26 수리 (Accepted) 1-1-2016-0726933-56
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
N개(N은 2 이상의 자연수)의 정규 표현식 패턴을 결정적 유한 오토마타로 변환하는 방법으로서,(a) 상기 N개의 정규 표현식 패턴 각각의 문자열 길이를 L(i)에 저장하는 단계;(b) 상기 저장된 패턴의 길이 L(i)에 따라 패턴을 역방향 정렬하는 단계;(c) 상기 역방향 정렬된 정규 표현식 패턴을 기계가 받아들이는 유한 오토마타 가운데, 상태 천이 시 변환된 상태의 유일성을 갖는 결정적 유한 오토마타로 변환하는 단계;(d) 상기 (c)에서 변환된 결정적 유한 오토마타 가운데, i(1≤i≤N-1)번째 패턴으로부터 생성된 결정적 유한 오토마톤과 j(i+1≤j≤N)번째 패턴으로부터 생성된 결정적 유한 오토마톤 내 상태 간 비교 과정을 통해 동일한 입력 문자를 갖는 상태를 찾는 단계;(e) 상기 (d) 단계에서 찾은 결합 가능한 상태를 병합하여 새로운 상태를 생성하는 단계;(f) 상기 (e) 단계에서 생성된 결정적 유한 오토마타에 기존 알고리듬을 적용하는 단계를 포함하는, 정규 표현식 패턴의 메모리 효율적인 결정적 유한 오토마타를 생성하는 방법
2 2
제1항에 있어서, 상기 (a) 단계는,(a-1) 상기 N개의 패턴의 길이를 계산하는 단계;(a-2) 상기 N개의 패턴의 길이를 L(i)에 저장하는 단계를 포함하는 정규 표현식 패턴의 길이 저장 단계인, 정규 표현식 패턴의 메모리 효율적인 결정적 유한 오토마타를 생성하는 방법
3 3
제2항에 있어서, 상기 (b) 단계는,(b-1) 상기 (a-2) 단계에서 저장된 L(i)에 따라 N개의 패턴을 역방향 정렬하는 단계;(b-2) 역방향 정렬된 패턴의 순서에 따라 N개의 패턴의 순서를 업데이트하는 단계를 포함하는 N개의 정규 표현식 패턴의 역방향 정렬 단계인, 정규 표현식 패턴의 메모리 효율적인 결정적 유한 오토마타를 생성하는 방법
4 4
제1항에 있어서, 상기 (d) 단계는,(d-1) 상기 역방향 정렬된 패턴 중 i(1≤i≤N-1)번째 패턴으로부터 생성된 결정적 유한 오토마톤을 선택하는 단계;(d-2) 상기 역방향 정렬된 패턴 중 j(i+1≤j≤N)번째 패턴의 결정적 유한 오토마톤을 선택하는 단계;(d-3) 상기 (d-1) 단계의 결정적 유한 오토마톤에서 L(i)번째 상태를 선택하는 단계;(d-4) 상기 (d-2) 단계의 결정적 유한 오토마톤에서 L(j)번째 상태를 선택하는 단계;(d-5) 상기 (d-3) 단계와 상기 (d-4) 단계에서 선택된 상태의 입력 값을 비교하는 단계;(d-6) 상기 (d-5) 단계에서 동일한 입력 값 'a'를 갖는 상태가 존재하는 경우, 해당 상태 (Sx,a,b,i)와 (Sy,a,c,j)를 SS에 저장하는 단계;(d-7) 상기 (d-5) 단계에서 동일한 입력 값 'a'를 갖는 상태가 존재하는 경우, 상기 L(i)값을 1만큼 감소시켜 L(i)값이 0이 될 때까지 상기 (d-3)단계부터 반복 수행하는 단계;(d-8) 상기 (d-5) 단계에서 동일한 입력 값을 갖는 상태가 없는 경우, L(j)값을 1만큼 감소시켜 L(j)값이 0이 될 때까지 상기 (d-4) 단계부터 반복 수행하는 단계; (d-9) 상기 (d-5) 단계에서 동일한 입력 값을 갖는 상태가 없는 경우, 상기 L(i)값을 1만큼 감소시켜 L(i)값이 0이 될 때까지 상기 (d-3) 단계부터 반복 수행하는 단계를 포함하는 병합 가능한 상태 찾기 단계인, 정규 표현식 패턴의 메모리 효율적인 결정적 유한 오토마타를 생성하는 방법
5 5
제4항에 있어서, 상기 (e) 단계는,(e-1) 상기 SS로부터 병합 가능한 상태 (Sx, a, b, i)와 (Sy, a, c, j)를 확인하는 단계;(e-2) 각 상태의 입력 값과 출력 값을 새로운 병합 상태에 각각 비트맵으로 저장하는 단계;(e-3) 상기 (e-1) 단계에서 선택된 상태 (Sx, a, b, i)와 (Sy, a, c, j)를 병합하여 새로운 상태 (Sx_y, a/i, a/j, b
6 6
제1항에 있어서, 상기 (f) 단계는,(f-1) 상기 (e) 단계에서 생성된 결정적 유한 오토마타를 참조하는 단계;(f-2) 상기 (f-1) 단계에서 생성된 결정적 유한 오토마타에서 기존 알고리듬을 적용하여 상태를 감소시키는 단계를 포함하는 기존 알고리듬과의 결합 단계인, 정규 표현식 패턴의 메모리 효율적인 결정적 유한 오토마타를 생성하는 방법
지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.