• 제목/요약/키워드: LL(1) 문법

검색결과 9건 처리시간 0.024초

확장된 PLR(1) 문법에 대한 단일 틈 파싱 (A One-Gap Parsing with Extended PLR(1) Grammars)

  • 이경옥
    • 정보과학회 논문지
    • /
    • 제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)$임을 보인다.

LL 커버링 변환에 관한 통합 모델 (A unified model of the LL covering transformations)

  • 이경옥
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제33권1호
    • /
    • pp.138-141
    • /
    • 2006
  • LR 문법의 부분 클래스인 k-transformable 문법, PLR 문법, 확장된 PLR 문법은 LL 문법으로의 커버링 변환이 존재하는 클래스이다. 한편 이들 클래스에 대한 LL 커버링 변환 방법은 모두 다른 정형식에 근거하기에, 제시된 LL 커버링 변환간의 관련성은 명확하지 않다. 본 논문에서는 LL 커버링 변환에 관한 통합 모델을 제시한다. 기존 클래스에 대한 변환 방법들은 제시된 모델의 특정한 예로서 생성된다.

확장된 PLR 문법의 테스팅 (Testing of Extended PLR Grammars)

  • 이경옥
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권1호
    • /
    • pp.51-53
    • /
    • 2010
  • 확장된 PLR 문법은 LR 문법의 넓은 범위의 부분 문법 클래스이면서 LL 문법의 장점을 갖는 문법 클래스이다. 한편 주어진 임의의 문법에 대한 확장된 PLR 문법의 테스팅 알고리즘은 아직까지 제시되지 않았다. 본 논문에서는 확장된 PLR 문법에 관한 테스팅 알고리즘을 제시한다.

LL 언어의 특징화 (Characterization of LL languages)

  • 이경옥
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제29권1_2호
    • /
    • pp.126-131
    • /
    • 2002
  • 주어진 문법이 LL 언어를 생성하는가의 문제를 LL 변환 가능성의 관점에서 조사한다. LL 변환 가능 문법을 특징짓기 위해 기존의 방법은 비결정적인(nondeterministic) 복잡한 파서의 생성을 필요로 한다. 이에 기존 방법으로는 LL 언어의 본질에 대한 직관적인 이해가 어렵다. 이 단점을 극복하고자 본 논문에선 파서의 생성 없이 문법 자체의 분석을 통한 문법 유도(derivation)에 근거한 특징화를 제시한다. 새로운 특징화는 LL 언어의 본질에 대한 직관적인 이해를 도울 수 있다.

LL과 LR에서의 효율적인 수식 타입 체킹에 대한 연구 (A Research on the Efficient Type-Checking for an Expression Using LL and LR)

  • 정용주
    • 한국인터넷방송통신학회논문지
    • /
    • 제11권1호
    • /
    • pp.177-183
    • /
    • 2011
  • 수식의 자료형 확인을 위하여 많이 사용하는 방법의 하나가 속성문법이다, 그런데 이 속성문법은 구성하기가 어려운 단점이 있다. 파싱 과정을 잘 이해하고 속성문법의 두 개의 속성들을 사용하여야 하기 때문이다. 그래서 본 논문에서는 이 수식 속성문법의 구성을 보다 쉽게 하기 위한 방법을 제시한다. 문법 구성을 통하여 하나의 속성만으로 수식의 자료형 확인이 가능함을 보여준다.

개선된 점진적 LL(1) 파싱 방법 (An Improved Incremental LL(1) Parsing Method)

  • 이경옥
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권6호
    • /
    • pp.486-490
    • /
    • 2010
  • 점진적 파싱은 기존의 입력 문자열에 대한 파싱 정보를 새로운 문자열의 파싱시에 이용하고자 하는 취지로 연구 개발되었다. 본 논문은 기존에 제안된 비단말 심볼을 미리보기(lookahead) 심볼로 포함시킨 점진적 LL(1) 파서를 개선시킨 방법을 제안한다. 기존 연구에서는 오류가 발생한 상황에서 불필요한 작업을 반복적으로 수행하기에 시간적으로 비효율적이다. 본 논문에서는 이에 대한 해결 방안을 제공한다.

점진적 LL(1) 구문분석에서의 재사용 시점의 계산 (Computation of Reusable Points in Incremental LL(1) Parsing)

  • 이경옥
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권11호
    • /
    • pp.845-850
    • /
    • 2010
  • 점진적 구문분석은 기존 입력 문자열에 대한 구문분석 정보를 새로운 문자열의 구문분석 시에 재사용하고자 하는 취지로 연구 개발되었다. 기존 점진적 LL(1) 구문분석에서는 미리 재사용 시점을 계산하여 이를 구문분석 시에 이용하였다 본 논문에서는 기존의 재사용 시점 계산을 인수분해하여 불필요한 중복 계산 없이 효율적으로 수행하는 방법을 제안한다. 또한 기존의 재사용 시점 파악을 위해서 사용되었던 공통심볼 저장방법과 거리저장방법을 결합하여 공통심볼까지의 거리저장방법을 제안한다. 이에 기반한 효율적인 점진적 LL(1) 구문분석기를 생성한다.

$\ll$상한론$\gg$중 "이(而)"자(字)의 용법에 대한 약론(略論) (略论$\ll$伤寒论$\gg$ 中 "而"字的用法)

  • 곡송;김효철
    • 대한한의학원전학회지
    • /
    • 제24권1호
    • /
    • pp.111-113
    • /
    • 2011
  • 본 논문에서는 중의학에 나오는 중국어 문법을 토대로 문헌자료를 분석하는 방법을 사용하여, "상한론"에 나오는 '이(而)'자(字)의 용법을 분류하고 조문별로 해석해 보았다. 우선 기존에 분류된 '이(而)'자(字)의 용법을 기준으로 하여, "상한론"의 조문 중에서 '이(而)'자(字)를 포함하고 있는 것을 모두 취합한 뒤 이를 분류하였고 주요 조문을 첨부하여 참고하도록 하였다. 향후 이러한 언어학적인 연구들은 장중경 "상한론"의 의미를 보다 정확하게 파악하는데 도움이 될 것으로 기대된다.

척도형용사의 의미적 불확정성에 대한 연구 (Semantische Unbestimmtheit der Skalaradjektiven)

  • 정동규
    • 한국독어학회지:독어학
    • /
    • 제10집
    • /
    • pp.277-296
    • /
    • 2004
  • Ein sprachlicher Ausdruck ist in verschiedenen Situationen in einer Vielzahl unterschiedlicher Lesarten oder $Pr\"{a}zisierungen$ verwendbar, und zwar mil dom Grad an $Pr\"{a}zision$, der den jeweiligen kormmunikativen Erfordernissen angemessen ist. Sokommt Vagheit/$Ambiguit\"{a}t$ in sprachlichen Ausdrucken fast $durchg\"{a}ngig$ vol. In der vorliegenden Albeit wird die $M\"{o}glichkeit$ der semantischen $\"{U}bersetzung$ der Skalaradjektiven($gro{\ss}$, klein, $hei{\ss}$, kalt, schwer, leicht, schnell, langsam usw.) untersucht, die eigentlich die Vagheit als eine der konstitutiven Eigenschaften haben. Den Schwerpunkt $daf\"{u}r$ bildet die semantische Analyse $\"{u}ber$ die Graduierbarkeit und Vergleichbarkeit der Positivformen der Adjektiven, die vol allem M.J.Cresswell 1976 in seiner Albeit formuliert hat. V(pos) is the function $\eta$ in $D_{{\lll}{0,1}>,<{0,1}{\gg}.{\ll}{0,1,1},>,<{0.1}{\ggg}$ such that where ${\xi}{\in}D_{{\ll}{0,1,1},><{0,1}{\gg}$,$\eta({\xi})$ is the following function: For any ${\omega}{\in}D_{<0,1>$and a ${\in}D_1$ and w$\in$W, w${\in}{\eta}({\xi})({\omega})$(a) iff w ${\in}{\omega}$(a) and there is exactly one b such that ${\xi}({\omega})$(a,b); and for that b, b=$\gg$(for some > and u ${\in}{ \scr}{Z}(>))$ and u is toward the top of the scale determined by > when restricted to those v such that for some c, w${\in} {\xi}({\omega})$$(c,{\;} and w${\in}{\omega}(c)$. (Cresswell, 1976: 272) Obwohl sein Verfahren anhnd von dem semantischen Symbol eine methodische und theoretische $Ad\"{a}quatheit$ erf\"{u}llt$, bleibt der Vergleichwert noch unterspezifiziert. Fur die Behandlung dieser semantischen Unterspezifikation ist eine neue Semantik erforderlich, die den Wahrheitwert fur die $Zugeh\"{o}rigkeitsgrade$ der Skalaradjektive $einschlie{\ss}t$.

  • PDF