引入符号串的ｋ－前缀，给出ＬＲ（ｋ）项集Ｉｋ（α）及其基本集Ｂｋ（α）的定义，研究了Ｌｋ（α）的性质与相互关系，在此基础上构造了有限自动机Ｍｋ（Ａ→λ，φ），进而证明了｛αφ│（Ａ→λ......