如何解决Racket代码解析时的no viable input错误？

错误原因分析 #

你遇到的line 3:4 no viable alternative at input '( define'错误，根源有两个：

1. 内部定义未被表达式规则支持：你的解析器仅允许definition出现在顶层（作为defOrExpr的成员），但Racket允许在表达式内部（比如函数体）定义函数/变量，当前的expr规则没有包含definition选项，导致解析函数体里的(define (max x1 x2) ...)时无匹配规则。
2. 语法规则使用未定义符号：definition规则里的name是未声明的非终结符，你应该用对应标识符的终结符NAME来匹配函数名、参数名等。

修正方案 #

1. 修正definition规则的符号错误 #

把所有definition规则中的name替换为NAME（假设NAME是你定义的匹配标识符的token）：

definition
    : '(' 'define' '(' NAME NAME+ ')' expr ')'
    | '(' 'define' NAME expr ')'
    | '(' 'define-struct' NAME '(' NAME* ')' ')'
    ;

2. 扩展expr规则以支持内部定义 #

更新expr规则，允许表达式内部包含定义，同时补充Racket基础表达式的支持（比如序列表达式、if表达式、函数调用等）：

expr
    : definition                          // 支持内部定义
    | '(' expr+ ')'                       // 序列表达式（对应Racket的括号表达式序列）
    | '(' 'if' expr expr expr ')'         // if表达式
    | '(' NAME expr+ ')'                  // 函数调用
    | NAME                                // 标识符引用
    | NUMBER                              // 数字字面量（需定义对应的token）
    // 可根据需求补充其他表达式类型，比如lambda、引号表达式等
    ;

3. 补充必要的Token定义 #

确保你定义了匹配标识符、数字和空白的token（示例）：

NAME: [a-zA-Z-]+;       // 匹配Racket标识符，支持连字符
NUMBER: [0-9]+('.'[0-9]+)?; // 匹配整数和浮点数
WS: [ \t\n\r]+ -> skip; // 忽略空白字符

验证修正后的解析逻辑 #

修正后的语法可以正确解析你提供的Racket代码：

• 顶层的(define (highest-number xs) ...)匹配definition的第一个规则；
• 函数体里的(define (max x1 x2) ...)作为expr的一部分被识别；
• 后续的(foldl max (first xs) (rest xs))匹配函数调用的表达式规则。

内容的提问来源于stack exchange，提问作者Raghul KB