Constructing a of Single State Parsing Automaton

단일 상태 파싱 오토마톤의 생성

  • Published : 2008.11.15

Abstract

A general automaton allows multiple input transitions, so a special treatment is required when the history of transitions is needed. An LR automaton keeps the past transitions in the stack to use them during parsing. On the other hand, when each state in an automaton contains in itself the past transition history, the trace overhead of past transitions is unnecessary. The paper suggests a single state parsing automaton that does not depend on the past transitions. The applicable grammar class is less than LR grammars, but each state in a new automaton contains the past information, so the tracing of the history is not required compared to LR automaton.

일반 오토마톤은 다중 입력 전이를 허용하기에 과거 전이 경로가 필요한 경우에는 별도 작업이 필요하다. LR 오토마톤의 경우는 스택을 이용하여 과거 전이 경로를 저장한 후에 파싱 시에 이를 이용한다. 한편 과거 경로의 정보를 포함하도록 상태 구성이 가능한 경우에는 과거 정보 추적을 위한 오버헤드를 피할 수가 있다. 본 논문에서는 과거 전이에 의존하지 않는 단일 상태 파싱 오토마톤을 제안한다. 적용 가능한 문법 클래스는 LR 문법보다 작으나, 오토마톤의 상태가 과거 경로의 정보를 포함하기에 LR 오토마톤과 달리 파싱시에 과거 정보의 추적이 불필요하다.

Keywords

References

  1. D. E. Knuth, On the translation of languages from let to right, Information and Control, 8, pp. 607- 623, 1965 https://doi.org/10.1016/S0019-9958(65)90426-2
  2. A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation and Compiling, vols.1 2. p. 1002, Englewood Cliffs, NJ:Prentice-Hall 1972, 1973
  3. S. Sippu and E. Soisalon-Soininen. Parsing theory, vols. I and II. Berlin: Springer, 1990
  4. G.-O. Lee and K.-M. Choe, A powerful LL(k) covering transformation, SIAM J. Computing, 35(2), pp. 359-377, 2006 https://doi.org/10.1137/S0097539701400154