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

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

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

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

• 정보과학회 논문지
• /
• 제42권3호
• /
• pp.361-366
• /
• 2015

틈(Gap) 파싱은 완전하지 않고 틈이 있는 입력 스트링에 대한 구문 분석을 수행한다. 이런 틈 파싱에 관한 기존 연구로서 임의의 문법에 대한 단일 틈 파싱 알고리즘과 LL(1) 문법에 대한 단일 틈 파싱 알고리즘이 제안되었으며, 이들의 시간복잡도는 각각 $O(n^3)$와 $O(n^2)$이다. 본 논문에서는 확장된 PLR(1) 문법에 대한 단일 틈 파싱 알고리즘을 제안한다. 확장된 PLR(1) 문법은 LR(1) 문법의 부분 클래스이지만 LL(1) 문법보다는 휠씬 넒은 범위의 문법 클래스이다. 이 문법 클래스에 대한 단일 틈 파싱 알고리즘이 LL(1) 문법에 대한 기존에 알려진 단일 틈 파싱 알고리즘의 복잡도와 동일한 $O(n^2)$임을 보인다.

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

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제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.

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

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

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

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