算符优先分析法：表达式语法分析的核心技术

1. 算符优先分析基础概念解析

算符优先分析法是编译原理中一种重要的自底向上语法分析方法，特别适用于表达式的语法分析。这种方法通过比较相邻运算符之间的优先级关系来确定归约顺序，相比LR分析更为简单直观。

1.1 算符优先文法的定义

算符优先文法需要满足三个核心条件：

1. 文法中不包含ε产生式（即空产生式）
2. 任何产生式的右部不能出现两个相邻的非终结符
3. 对任意两个终结符a和b，它们之间最多只有一种优先关系

以实验中的文法为例：

code复制E→E+T |T
T→T*F |F
F→(E) | i

这个文法满足上述所有条件，因此是算符优先文法。

1.2 优先关系表的作用

优先关系表是算符优先分析的核心数据结构，它定义了所有运算符之间的三种关系：

• a < b：表示a的优先级低于b
• a = b：表示a和b优先级相等（通常出现在括号匹配时）
• a > b：表示a的优先级高于b

在实验中给出的优先关系表示例中，我们可以看到：

code复制+ * ( ) i #
+ > < < > < >
* > > < > < >
( < < < = <  
) > > > > > >
i > > > > > >
# < < < < < =

这个表格完整定义了所有运算符之间的优先级关系。

2. 算符优先分析表构造详解

2.1 拓广文法处理

在构造优先关系表前，必须对原文法进行拓广。这是因为我们需要明确表达式的开始和结束位置。实验中提到的引入非终结符Q，令Q→#E#就是典型的拓广方法。

实际操作步骤：

1. 添加新的开始符号Q
2. 添加产生式Q→#E#
3. #作为输入串的起始和结束标志

2.2 FIRSTVT和LASTVT集合计算

这两个集合是构造优先关系表的基础：

FIRSTVT(P)定义：非终结符P能推出的最左终结符集合
计算规则：

1. 若有产生式P→a...或P→Qa...，则a∈FIRSTVT(P)
2. 若有产生式P→Q...，则FIRSTVT(Q)⊆FIRSTVT(P)

LASTVT(P)定义：非终结符P能推出的最右终结符集合
计算规则：

1. 若有产生式P→...a或P→...aQ，则a∈LASTVT(P)
2. 若有产生式P→...Q，则LASTVT(Q)⊆LASTVT(P)

以实验中的文法为例：

code复制FIRSTVT(E) = {+, *, (, i}
LASTVT(E) = {+, *, ), i}

2.3 优先关系表构造算法

基于FIRSTVT和LASTVT集合，可以系统性地构造优先关系表：

1. 对于形如...aQb...的产生式，设置a = b
2. 对于形如...aP的产生式，∀b∈FIRSTVT(P)，设置a < b
3. 对于形如Pb...的产生式，∀a∈LASTVT(P)，设置a > b
4. 特殊处理#号：# < FIRSTVT(S)，LASTVT(S) > #，# = #

3. 算符优先分析算法实现

3.1 分析栈的设计

算符优先分析使用两个栈：

1. 符号栈：存储已分析的符号
2. 优先关系栈：存储相邻符号间的优先关系

实际操作中，可以合并为一个栈，通过比较栈顶终结符和当前输入符号的关系来决定操作。

3.2 分析过程的四种动作

1. 移进(shift)：当栈顶符号优先级 < 当前输入符号
2. 归约(reduce)：当栈顶符号优先级 > 当前输入符号
3. 接受(accept)：当栈中只剩#S且输入也为#
4. 报错(error)：当遇到无法识别的优先关系

3.3 归约串的选择

在算符优先分析中，归约时不考虑非终结符，直接寻找最左素短语：

1. 在栈中从顶向下找到第一个 < 关系
2. 两个<关系之间的部分就是可归约串
3. 用相应产生式的左部非终结符替换

4. 实验代码关键实现解析

4.1 数据结构设计

实验代码中使用了多个数组来存储文法信息：

c复制string str[30][100];  // 存储产生式
char st[30][100], st1[30][100];  // 存储FIRSTVT和LASTVT
char order[60];  // 终结符顺序
int sum[100][100];  // 优先关系表

4.2 FIRSTVT和LASTVT计算实现

核心函数print和print1递归计算FIRSTVT和LASTVT：

c复制void print(char a){
    int b=a-'A';
    for(int i=0;i<num[b];i++){
        if(st[b][i]>='A'&&st[b][i]<='Z')
            print(st[b][i]);
        else st3[st3l++]=st[b][i];
    }
}

4.3 优先关系表填充

根据文法规则填充优先关系表：

c复制for(i=0;i<st4l;i++){
    for(j=0;j<l;j++){
        if(st4[i][0]==order[j]){
            for(k=0;k<l;k++){
                if(st4[i][1]==order[k]){
                    sum[j][k]=2;break;
                }
            }
            break;
        }
    }
}

4.4 分析过程实现

主分析循环处理四种动作：

c复制while(top>=0){
    if(sum[k][kk]==1){  // 移进
        top1++;
        Stack[++top]=sta[top1-1];
    }
    else if(sum[k][kk]==2){  // 相等
        if(sta[top1]!='#'){
            top1++;
            Stack[++top]=sta[top1-1];
        }
        else if(Stack[mm]=='#'){
            break;  // 接受
        }
    }
    else if(sum[k][kk]==3){  // 归约
        top-=(bj0[Stack[mm]]-1);
        Stack[top]='N';
    }
}

5. 实验中的常见问题与调试技巧

5.1 优先关系表构造错误

常见错误包括：

1. 遗漏了拓广文法的处理
2. FIRSTVT/LASTVT计算不完整
3. 优先关系填充时方向错误

调试方法：

• 打印中间生成的FIRSTVT和LASTVT集合
• 逐步验证每个优先关系的正确性
• 特别注意括号和#号的处理

5.2 分析过程陷入死循环

可能原因：

1. 优先关系表存在冲突（同一对符号有多种关系）
2. 归约时没有正确减少栈中符号
3. 没有正确处理空串情况

解决方法：

• 添加调试输出，打印每一步的栈和输入缓冲区状态
• 检查文法是否符合算符优先文法的要求
• 确保#号被正确处理

5.3 输入串分析错误

常见问题：

1. 没有正确处理多字符终结符（如"id"）
2. 错误识别终结符和非终结符
3. 空格和制表符处理不当

改进建议：

• 添加输入预处理步骤
• 明确终结符和非终结符的区分规则
• 增加错误恢复机制

6. 实验扩展与优化方向

6.1 可视化分析过程

可以增强实验效果的可视化方案：

1. 实时显示分析栈和输入串状态
2. 图形化展示优先关系表
3. 动画演示移进-归约过程

6.2 错误处理增强

改进错误处理机制：

1. 添加语法错误精确定位
2. 提供错误恢复建议
3. 支持多种错误类型诊断

6.3 性能优化

对于大型文法的优化策略：

1. 使用更高效的数据结构（如哈希表存储优先关系）
2. 实现增量式分析算法
3. 并行化FIRSTVT/LASTVT计算

提示：在实际编译器实现中，算符优先分析常用于表达式解析，但现代编译器更多采用LR分析等更强大的方法。理解算符优先分析有助于掌握更复杂的分析方法。