• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권1호
• /
• pp.51-53
• /
• 2010

확장된 PLR 문법은 LR 문법의 넓은 범위의 부분 문법 클래스이면서 LL 문법의 장점을 갖는 문법 클래스이다. 한편 주어진 임의의 문법에 대한 확장된 PLR 문법의 테스팅 알고리즘은 아직까지 제시되지 않았다. 본 논문에서는 확장된 PLR 문법에 관한 테스팅 알고리즘을 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권8호
• /
• pp.1028-1038
• /
• 1999

본 논문에선 LR 문법의 부분 클래스를 동치인 LL 문법으로 변환하는 방법을 제시한다. 이 변환이 적용 가능한 문법을 확장된k`-transformable 문법이라 정의한다. 변환된 문법은 left-to-right 커버의 성질을 만족한다. 기존 연구에서 제시한 변환 방법은 LR 문법의 부분 클래스인 {{{{k`-transformable 클래스와 PLR 클래스를 LL 문법으로 바꾼다. 이 논문에서 제시하는 새로운 변환 방법의 적용 가능한 문법의 범위는 k`-transformable 클래스와 PLR 클래스를 포함한다. 기존의 커버링 성질을 만족하는 LL로의 문법 변환은 보편적인 LR 파서의 행동을 시뮬레이션하여 얻어진다. 이 과정에서 쉬프트, 리듀스 행동 이외에 무한의 가능성을 가진 스택 스트링의 유한 표현을 위해 리덕션 심볼에 대한 예상 행동이 추가된다. 본 논문에서는 파싱 문맥을 나타내는 LR 아이템들을 기존의 스택 스트링 표현 형태에 추가하여 스택 스트링 표현법을 정제하고, 리덕션 심볼에 대한 예상 방법을 확장하는 정형식을 제시한다. 이에 근거하여 LL 커버링 문법이 존재하는 클래스를 확장된 {{{{k`-transformable 문법으로 확장시킨다.Abstract A new transformation of a subclass of LR(k`) grammars into equivalent LL(k`) grammars is studied. The subclass of LR(k`) grammars is called extended k`-transformable. The transformed LL(k`) grammars left-to-right cover the original LR(k`) grammars. Previous transformations transform k`-transformable and PLR(k`) into LL(k`). The new transformation is more powerful in that it handles the extended k`-transformable subclass of LR(k`), which strictly includes k`-transformable and PLR(k`) classes. The previous covering transformations into LL grammars are obtained by simulating the actions of the conventional LR parser. Specially, a predict action of reduction goals is added to the action set in order to finitely represent stack string. In this paper, the stack string representation is refined by adding LR items to represent a parsing context, and the prediction of reduction goal is extended by generalizing the prediction formalism. Based on them, the previous grammar classes with LL({{{{k`) covering grammars are extended to extended k`-transformable grammars.

• 인지과학
• /
• 제6권3호
• /
• pp.41-63
• /
• 1995

트리접합문법의 LR상향식 파싱 방법을 제시한다.먼저 트리접합문법의 형식특성을 기술하기 위한 접합규칙 시스템을 도입하여 파싱과정을 효율적으로 수행할 수 있게 한다.트리접합문법은 문맥의존성을 갖고 있는데,접합 순간은 문맥자 유문법 체계로 기술할 수 있음을 보이고,이러한 특성을 기반으로 상향식 파싱방법을 유도한다.본 논문에서 제시한 LR상향식 파싱방법은 트리접합문법에 문맥자유문법의 파싱방법을 변형하여 적용할 수 있음을 보인다.

• 정보과학회 논문지
• /
• 제43권10호
• /
• pp.1079-1084
• /
• 2016

단일상태파싱오토마톤은 구문 분석할 때 행동의 결정이 현재 상태로만 가능하다는 특징이 있고, LR오토마톤과 비교하여 상태수가 적고 구문 분석 시간이 단축된다는 장점이 있다. 한편 단일 상태파싱오토마톤은 적용 가능한 문법 클래스가 LR문법보다 작다는 단점이 있다. 본 논문에서는 단일상태파싱오토마톤을 LR문법 클래스에 적용 가능하도록 확장하는 방법을 제시한다. 기존 방법에서는 파싱오토마톤 생성 과정에서 싸이클릭 상태가 생성되는 경우에 대한 처리 방법을 제시하지 못하였다. 본 논문은 싸이클릭 상태에 대한 입력스트링에 따른 동적 처리 작업을 제시하여, 싸이클릭 상태에 대한 문제를 해결한다. 본 논문에서 확장한 방법은 모든 LR 문법에 대해 단일상태파싱오토마톤을 생성할 수 있게 한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제37권6호
• /
• pp.319-322
• /
• 2010

확장된 PLR 문법은 LR 문법의 부분 클래스로서 LL 문법에 대한 커버링 성질을 만족하는 변환이 존재하는 현재까지의 가장 큰 문법 클래스이다. 본 논문에서는 확장된 PLR 문법에 대한 기존 커버링 문법 변환을 단순화시키는 커버링 문법 변환을 제시한다. 본 논문에서 제시하는 커버링 문법 변환은 기존의 4개의 규칙 유형을 3개의 규칙 유형으로 축소시킨다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.138-141
• /
• 2006

LR 문법의 부분 클래스인 k-transformable 문법, PLR 문법, 확장된 PLR 문법은 LL 문법으로의 커버링 변환이 존재하는 클래스이다. 한편 이들 클래스에 대한 LL 커버링 변환 방법은 모두 다른 정형식에 근거하기에, 제시된 LL 커버링 변환간의 관련성은 명확하지 않다. 본 논문에서는 LL 커버링 변환에 관한 통합 모델을 제시한다. 기존 클래스에 대한 변환 방법들은 제시된 모델의 특정한 예로서 생성된다.

• 인지과학
• /
• 제4권2호
• /
• pp.115-143
• /
• 1994

본 논문은 LR 파싱기법을 이용한 확장된 두단계(two-level)형태소분석 모델을 제시한다.LA기법을 이용한 두단계 모델은 효율적 형태소분석 뿐만 아니라 Koskenniemi(1983)의 모델보다 형태론적 현상에 대한 보다 높은 기술성(descriptive adequacy)을 획득한다.이를 위해 두단계 모델은 자질기반의 문맥자유문법(feature-based CF grammar)에 근거한 독립적인 형태/통사모듈에 의해 확장된다.문맥자유문법에 근거한 단어문법(word grammar)을 채택함으로써 확장 모델은 하위사전의 중복현상을 피하면서 비연속적 의존관계(discontinuous dependencies) 를 가지는 복합어 등을 처리할 수 있다.또한 파싱테이블에 명시된 LR 예측은 형태소분석기로 하여금 사전탐색시간을 줄일 수 있도록 도와준다.

• 한국정보처리학회논문지
• /
• 제5권6호
• /
• pp.1660-1669
• /
• 1998

본 논문에서는 실제 사용에 있어서 시간과 기억 장소를 상당히 요구하는 기존의 점진적 파싱 알고리즘들을 조사하여, 이들보다 효율적인 점진적 LR 파싱 알고리즘을 제안한다. 문법 기호를 포함하는 확장형 LR 파싱표를 본 논문에서 제안한 점진적 LR 파싱 알고리즘을 적용한다. 여러 문장의 경우에 본 점진적 LR 파싱 알고리즘을 이용하여 파싱 단계와 기억 장소를 감소시켰다. 본 알고리즘은 복잡하고 큰 문법의 경우에 더욱 효과적이다.

• 한국인터넷방송통신학회논문지
• /
• 제11권1호
• /
• pp.177-183
• /
• 2011

수식의 자료형 확인을 위하여 많이 사용하는 방법의 하나가 속성문법이다, 그런데 이 속성문법은 구성하기가 어려운 단점이 있다. 파싱 과정을 잘 이해하고 속성문법의 두 개의 속성들을 사용하여야 하기 때문이다. 그래서 본 논문에서는 이 수식 속성문법의 구성을 보다 쉽게 하기 위한 방법을 제시한다. 문법 구성을 통하여 하나의 속성만으로 수식의 자료형 확인이 가능함을 보여준다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제41권7호
• /
• pp.518-522
• /
• 2014

단일 상태 파싱 오토마톤은 오토마톤의 행동이 과거 전이 경로에 의존하지 않고 현 상태로만 결정가능하다는 특징을 가진다. 이런 특징으로부터 대표적인 오토마톤인 LR 오토마톤과 비교시에, 단일상태 파싱 오토마톤은 구문 분석에 관한 시간 단축과 메모리 용량의 감소라는 장점을 가진다. 한편 단일상태 파싱 오토마톤을 생성하는 문법 클래스에 관해서는 현재까지 알려진 바가 없다. 본 논문에서는 단일상태 파싱 오토마톤을 생성하는 문법 클래스에 관한 연구 결과를 제시한다. 또한 이들 문법 클래스에 대한 단일 상태 파싱 오토마톤의 생성 방법을 제시한다.