式

对于模块式PLC，各部件独立封装成模块，各模块通过总线连接。

Chomsky的正规文法的产生式限制为    。（其中α、β、γ∈（V_N∪V_T）^*，A、B是单个的非终结符号，a是单个的终结符号。）

一个句型中出现某一个产生式的右部，则此右部一定是此句型的句柄。

算符优先文法允许任意两个产生式具有相同的右部。

产生式是用于定义词法成分的一种书写规则。

对任意文法G，都存在相应的正规式与之等价。

正规式的运算符“|”读作“或”。