• [原理] Lex Yacc规则格式


    历史

    • 在1975年之前,写出一个编译器是很麻烦的事情。 在1975年的时候,有两篇文章的发表,简化了编译器的编写。
      Lex - A Lexical Analyzer Generator.
      Yacc: Yet Another Compiler Compiler.
    • Lex和YACC的具体实现细节可以在2006年的这本书中找到:
      Compilers, Principles, Techniques and Tools (2nd edition). Addison-Wesley, Reading, Massachusetts.
    • WinFlex和WinBison是Flex和Bison的Windows版本。


       
      image.png

    编译顺序

    • Lex的输入:词法规则(.l文件)
    • Lex的输出:词法分析器
    • Yacc的输入:语法规则(.y文件)
    • Yacc的输出:语法分析器
    • 宿主程序使用词法分析器和语法分析器,产生分析结果。
       
      image.png

    规则格式

     
    Lex匹配规则

     
    Yacc匹配规则

     
    Lex文件格式

     
    Lex预定义变量

    Lex代码示例

     
    ECHO

     
    LineNo

     
    变量名

     
    字符统计

    Yacc文法

    Yacc的语法是BNF范式的变种。BNF文法可以用来表示上下文无关文法,大多数的编程语言都可以用BNF来表示。


     
    文法

     
    文法可以扩展的表达式

     
    自底向上分析。默认放一个“.”在栈里面。shift操作:一个新的标识符入栈。reduce操作:使用文法进行规约。

    Shift -Reduce冲突

    例子中的第6步,E+E可以进行Reduce,但是也可以进行Shift。使用符号结合方向和优先级解决。

    Reduce-Reduce冲突

     
    id有两种Reduce结果:E或者T。

    Yacc语法格式

     
    语法格式

    Yacc代码示例

    • lex文件
      词法分析器输出的Token类型:VARIABLE,INTEGER,-,+,(,),=,/, ,a-z
    • yacc文件
      词法标识:INTEGER,VARIABLE
      符号优先级与结合方式
      文法标识:program,statement,expr
      int sys[26]:a-z 26个变量的数值
    • yytext
      词法分析器匹配到的字符串
    • yylval
      yytext相关的数值,比如:在词法分析器匹配到数字的时候,设置yylval=atoi(yytext) ,在语法分析器,就可以通过$1,$2,来读取对应的yylval。
    • 实际上,yacc内部有两个栈,一个是分析栈,一个是内容栈,分别用yytext和yylval来读取。
    • Lex Yacc (一) 入门 这里说的更加详细一些。
       
      Lex文件

       
      Yacc文件

    示例使用

     
    几次输入输出

     
    第1次输入
  • 相关阅读:
    min-width和width的区别
    组装电脑
    css背景透明,文字不透明
    三十九、前端基础之HTML
    三十八、事务、mysql索引,视图
    三十七、python操作mysql,和navicat
    三十六、单表与多表查询
    三十五、表与表之间的关系
    三十四、字段类型
    三十三、初识数据库及简单命令
  • 原文地址:https://www.cnblogs.com/qiumingcheng/p/14710743.html
Copyright © 2020-2023  润新知