ANTLR4是一个流行的语法分析器生成器，它可以用于构建自定义语言解析器。在语法规则中，有时会出现歧义，即存在多个可能的解析方式。ANTLR4提供了一些解决歧义的方法，包括使用优先级规则、添加语义谓词和使用解析器插入动作。

下面是一个示例，演示了如何使用ANTLR4解决歧义问题：

假设我们有一个简单的语言，其中包含一个加法运算。语法规则如下：

grammar MyLanguage;

expression : expression '+' expression
           | NUMBER ;

NUMBER : [0-9]+ ;

在这个语法规则中，表达式可以是两个表达式相加，也可以是一个数字。

问题是，对于输入"1+2+3"，ANTLR4将生成两个不同的解析树，因为存在多个可能的解析方式。

为了解决这个问题，我们可以使用优先级规则。我们可以将规则修改为：

grammar MyLanguage;

expression : addExpression ;

addExpression : addExpression '+' multExpression
              | multExpression ;

multExpression : NUMBER ;

NUMBER : [0-9]+ ;

在这个修改后的语法规则中，我们引入了一个新的非终结符addExpression，用于表示加法表达式。通过将加法表达式放在更高的层级，我们确保了它具有更高的优先级。这样，输入"1+2+3"将只生成一个解析树。

如果我们想要在优先级规则中加入更多的操作符，例如减法和乘法，可以按照相同的模式进行扩展。

除了使用优先级规则，ANTLR4还允许添加语义谓词来解决歧义。语义谓词是一段用户自定义的代码，用于在解析过程中进行额外的判断。例如，我们可以添加一个语义谓词来限制加法表达式只能包含两个操作数：

grammar MyLanguage;

expression : addExpression ;

addExpression : expression '+' expression {hasTwoOperands($expression.text, $expression1.text)} ;

expression : NUMBER ;

NUMBER : [0-9]+ ;

@parser::members {
    private boolean hasTwoOperands(String op1, String op2) {
        return !(op1.contains("+") || op2.contains("+"));
    }
}

在这个示例中，我们在addExpression规则中添加了一个语义谓词hasTwoOperands。该谓词接受两个操作数的值作为参数，并返回一个布尔值，表示这两个操作数是否都不包含加法运算符。如果谓词返回true，则解析继续进行；如果谓词返回false，则解析回溯并尝试其他可能的解析路径。

最后，如果以上方法都无法解决歧义，我们可以通过在解析器规则中插入动作来解决问题。动作是一段用户自定义的代码，用于在解析过程中执行特定的操作。例如，我们可以在解析到加法运算时直接计算结果：

grammar MyLanguage;

expression returns [int value]
    : addExpression {$value = $addExpression.value} ;

addExpression returns [int value]
    : expression '+' expression {$value = $expression0.value + $expression1.value} ;

expression : NUMBER {$value = Integer.parseInt($NUMBER.text)} ;

NUMBER : [0-9]+ ;

在这个示例中，我们在addExpression规则中插入了一个动作。该动作计算两个操作数的和，并将结果赋值给value属性。类似地，我们在expression规则中的动作将解析的数字字符串转换为整数并赋值给value属性。

通过使用解析器插入动作，我们可以在解析过程中直接计算结果，