摘要
引入符号串的ｋ－前缀，给出ＬＲ（ｋ）项集Ｉｋ（α）及其基本集Ｂｋ（α）的定义，研究了Ｉｋ（α）的性质与相互关系，在此基础上构造了有限自动机Ｍｋ（Ａ→λ，φ），进而证明了｛αφ｜（Ａ→λ，φ）∈Ｉｋ（α）｝是正规集，并给出了Ｉｋ（α）的构造。
The k prefix of a symbol string is first introduced and the definitions of the LR (k) item set I k(α) and its basic set B k(α) is given. Some properties of I k(α) are studied. A deterministic finite automaton M k(A→λ, φ) is constructed. Last, the construction of I k(α) is given.
关键词
有限自动机
符号串
自动机
K-前缀
LR (k) grammar
LR (k) item set
finite automaton
