编译原理（4）-----1型文法和线性界限自动机

1型文法：

              1型文法也称上下文有关文法，相当于线性界限自动机。

           如果文法G(N，Σ，P，S)的规则集P中所有规则满足如下形式：αΑβ->αγβ，其中，A∈N，α，β，γ∈(N∪Σ)*，

           且γ至少包含一个字符，规则右端的长度大于左端则称文法G为1型文法。若α和β同时为空，则1型文法变成了2型文法。

线性界限自动机：

             1、 线性界限自动机的Σ中包括两个特殊符号#和$，分别表示输入链的左端和右端结束标志。

          2、线性界限自动机M的格局，以及两个格局之间转移关系的定义与图灵机的相同。

          3、线性界限自动机与图灵机的唯一不同是对读/写头位置的限制。

          4、在线性界限自动机中，对于读/写超出输入字符串长度范围时，转移动作没有定义。

              5、对于任何状态q∈Q和A∈Γ，如果映射δ(q,A)包含的成员(下一个状态)不超过一个，则线性界限自动机是确定的。

           如果L是一个上下文相关语言，则L由一个不确定的线性界限自动机所接受。反之，如果L被一个线性界限自动机所接受，则L是一个上下文相关语言。