为了便于分析，用单个小写字母代替指令，即LD，LDI→a；AND，ANI→b；OR，ORI→c；ANB→d；ORB→e；0UT→f。指令表的文法可表示为1个四元式(Vt，VN，S，φ)，其中，Vt是终结符号集，包括{a，b，e，d，e，f}；VN是非终结符号集，包括{S，H，K，A，B，D，E}；S是开始符号；φ中是产生式集(@代表空集)。因

此，指令表程序的文法G[S]为S→aHfS； S→AfS；S→@；H→EH；H→@；K→EK；K→@，A→DA；A→@；B→e；D→b；D→c；E→D；E→aKB。

由G[S]产生式，可推出空串的非终结符集合为{S，H，K，A}。

4.2 软PLC程序的语法分析

语法分析选用自顶向下的LL(1)分析方法。为使用LL(1)分析方法，首先构造预测分析表，并先求取所有非终结符号的FIRST集和FELLOW集。

FIRST集：FIRST(S)={a，@，b，c}；FIRST(H)={@，b，c，a}；FIRST(K)={@，b，c，a}；FIRST(A)={@，b，c}；FIRST(B)={e，d}；FIRST(D)={b，c}；FIRST(E)={b，c，a}。

FOLLOW集：FOLLOW(S)={#}；FOLLOW(H)= {f}；FOLLOW(K)={e，d}；FOLLOW(A)={f}；

FOLLOW(B)={b，c，a，f，e，d}；FOLLOW(D)={b，c，f，a，e，d}；FOLLOW(E)={b，C，a，f，e，d}。

各产生式的SELECT集：SELECT(S→aHfS)={a}；SELECT(S→AfS)={b，c，f}；SELECT(S→@)={@，#}；SELECT(H→EH)={b，c，a}；SELECT(H→@)={@，f}；SELECT(K→EK)={b，c，a}；SELECT(K→@)={@，e，d}；SELECT(A→DA)={b，c}；SELECT(A→@)={@，f}；SELECT(B→e)={e}；SELECT(B→d)={d}；SELECT(D→b)={b}；SELECT(D→c)={c}；SELECT(E→D)={b，c}；SELECT(E→aKB)={a}

根据上述计算。生成的PLC文法预测分析表如表1所示。



表1 PLC文法预测分析表

通过表1，采用非递归的预测分析方法，构造预测分析器模型，如图2所示。



图2 非递归的预测分析器模型

预测分析器的控制程序总是根据栈顶符号和当前输入符号来决定预测分析器的动作，预测分析器的控制程序算法如下：

置指针ip指向输入符号串的第1个字符

while(1)

令X是栈顶符号。a是ip所指的符号；

if(X是终结符号或$)

if X==a

pop(X)，更新ip；

else

error()；

else(X是非终结符号)

if M[X，a]：X—yly2?K

pop(X)；

push(Y1Y2?K)；

else

error()；

else(X==$)

分析成功；

break；

其中，M[X，a]是指预测分析表中x行和a列相交处的产生式。

下面举例子来说明PLC程序语法分析程序的工作过程。

将指令用小写字母代替后，程序指令变为acababecdcf，将该字符串作为输入，分析过程如表2所示。



表2 PLC程序语法分析表