On the reduction of LR(k) parsersLR(k)구문분석기의 축소에 관한 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 398
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorChoe, Kwang-Moo-
dc.contributor.advisor최광무-
dc.contributor.authorPark, Woo-Jun-
dc.contributor.author박우전-
dc.date.accessioned2011-12-13T05:22:41Z-
dc.date.available2011-12-13T05:22:41Z-
dc.date.issued1993-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=68173&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/32989-
dc.description학위논문(박사) - 한국과학기술원 : 전산학과, 1993.8, [ iii, 87 p. ]-
dc.description.abstractTwo problems on the parsing conflicts in LR(k) parsers, (1) computing the condition for two semikernel items to be in an LR(k) state and (2) reducing the number of states in a given LR(k) parser, are addressed in this thesis. On the first problem, we derive two lemmas which show whether two semikernel items are in an LR(k) state or not. An LR(κ) state with two semikernel items is a necessary condition for the given parser to have a parsing conflict. The one is a recursive condition using relationship between nonterminals, which is applicable only to LR(0) semikernel items. The other computes the condition by extending the domain of function leftcontext. It can be applied to any LR(k) semikernal items (k ≥0). On the second problem, we propose a new formalism for merging LR(k) states without any conflict, after constructing the full LR(k) parsing table. First, we define a new relation compatitable C and C-covering for a core block, both of which are different from the notion in dynamic reduction methods. Then, we propose well-defined reduction (WDR) which is a set of C-covering for each core block which reflect the rationale for LR(k) state reduction, as a new formalism. We present algorithms to compute a WDR and an LR(k)-based parser for the reduction. Furthermore, we introduce a useful core-restricted method, a locally optimal reduction as an approximation to an optimal reduction. The contribution of this thesis to LR(k) parsing theory is summarized as follows: (1) to discover that set of LR(k) states of a core block after the merging is not a partition, but a covering of the block. (2) to propose WDR which provides a new formal view for the computation of an optimal reduction.eng
dc.languageeng-
dc.publisher한국과학기술원-
dc.subjectLR.-
dc.titleOn the reduction of LR(k) parsers-
dc.title.alternativeLR(k)구문분석기의 축소에 관한 연구-
dc.typeThesis(Ph.D)-
dc.identifier.CNRN68173/325007-
dc.description.department한국과학기술원 : 전산학과, -
dc.identifier.uid000855819-
dc.contributor.localauthorChoe, Kwang-Moo-
dc.contributor.localauthor최광무-
Appears in Collection
CS-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0