作为刚接触Lex/Yacc的新手，遇到这两个问题其实很常见，我来一步步帮你理清解决思路：

一、修复yyerror类型冲突警告 #

这个警告的核心原因是你自定义的yyerror函数，和Yacc自动生成的函数原型不匹配。按下面的步骤调整就能解决：

1. 在parser.y的%{ ... %}代码块开头，明确声明标准的yyerror原型：

   %{
   #include <stdio.h>
   // 和Yacc生成的原型保持一致，避免类型冲突
   void yyerror(const char *message);
   // 其他头文件、全局变量写在这里
   %}
   

2. 确保你的yyerror实现（不管是写在parser.y还是lexer.l里）完全匹配这个原型，比如：

   void yyerror(const char *message) {
       fprintf(stderr, "语法错误提示: %s\n", message);
   }
   

3. 如果lexer.l里也定义了yyerror，直接删掉那里的实现，只保留一处定义即可——重复定义也会触发类似警告。

二、排查并解决语法错误导致的程序终止 #

程序触发yyerror终止，说明input.txt的内容不符合你在parser.y里定义的语法规则，或者你的Lex/Yacc规则本身有漏洞。可以按以下步骤逐步排查：

• 先检查输入文件的正确性：对照你自定义语言的语法规则，逐行检查input.txt——比如有没有漏加分号、关键字拼写错误、括号不闭合，或者语句结构不匹配（比如if语句没有对应的结束标记）。
• 开启Yacc调试模式：在parser.y的最开头添加%debug指令，重新编译后运行程序，会输出详细的解析过程日志，能精准定位到哪一行、哪个token触发了语法错误。
• 验证Lex的token匹配规则：确保Lex里的每个规则都正确返回对应的token（比如数字返回NUM，标识符返回ID），不要把需要的token错误地忽略（比如如果你的语法需要区分换行，就不要用[ \t\n]+直接跳过）。
• 确认Yacc的起始规则：Yacc默认会把第一个定义的规则作为解析的起始点，确保你的起始规则（比如program）能匹配input.txt的整体结构。
• 添加调试输出：在Yacc的关键规则里加printf语句，比如：

  program : stmt_list { printf("成功解析完语句列表\n"); }
          ;
  

  这样能看到解析到哪一步失败了，快速缩小问题范围。

内容的提问来源于stack exchange，提问作者Hamza Siddiqui