首页
搜索 搜索

三、词法分析

博客园     2023-05-04 18:14:37

词法分析

  • 词法分析基于正则文法进行的,即识别的单词是该类文法的句子
  • 词法分析的任务是识别单词
  • 单词:保留字、标识符、常数、运算符、分界符
  • 标识符是语法概念,名字是语义概念

词法分析器

  • 词法分析器用于识别单词
  • 词法分析程序,接受输入的源程序,输出结果是单词的种别编码单词的属性值
  • 扫描器所完成的任务是从字符串形式的源程序中识别出一个个具有独立含义的最小语法单位单词
  • 词法分析器的结构:预处理子程序、扫描缓冲区、扫描器

有限自动机

确定的有限自动机 \(DFA(Deterministic ~\ Finite ~\ Automata)\)

非确定的有限自动机 \(NFA(Nondeterministic ~\ Finite ~\ Automata)\)


【资料图】

\(\star NFA\) 和 \(DFA\) 比较

  • \(DFA\) 是 \(NFA\) 的特殊形式
  • \(DFA\) 初态唯一,\(NFA\) 可以有多个初态
  • \(DFA\) 和 \(NFA\) 都可以有多个接受状态(终态)
  • \(DFA\) 的状态转换函数是单值映射,\(NFA\) 的状态转换函数是多值映射
  • \(DFA\) 后继状态唯一,\(NFA\) 后继状态不一定唯一
  • \(DFA\) 任何状态都没有 \(ε\) 转换,\(NFA\) 可以有 \(ε\) 转换

构造与某一正规式等价的DFA解题步骤:

  1. 根据正规式画出对应状态的状态转换图
  2. 根据状态转换图画出对应状态转换矩阵
  3. 根据状态转换矩阵得到重命名的状态转换矩阵 (子集构造算法)
  4. 根据重命名状态转换矩阵得出 \(DFA\)

DFA化简(最小化)解题步骤:

  1. 划分终态组和非终态组
  2. 若读入某个字符,得到的后继状态不在同一个集合里,就继续划分
  3. 合并等价状态
  4. 画出新的 \(DFA\)

题型

1. 设计正规式

给出下面正规式表达式

  1. 以01结尾的二进制数串解:(0|1)*01
  2. 能被5整除的十进制整数解:(1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)*(0|5)|(0|5)
  3. 包含奇数个1或奇数个0的二进制数串解:0*1(0|10*1)*|1*0(1|01*0)*
  4. 不包含子串abb的由a和b组成的符号串的全体解:b*(a|ab)*
  5. 每个1都有0直接跟在右边解:(0|10)*
$\star\star\star$2. 正规式构造 \(NFA\) ,由 \(NFA\) 确定化为 \(DFA\) ,\(DFA\) 的化简

构造下列正规式相应的NFA,确定化为 \(DFA\) ,并且对 \(DFA\) 化简

  1. 1(0∣1)*101解:\(NFA\) :

    状态转换矩阵:

    I01
    {1}\(\emptyset\){2}
    {2}{2}{2,3}
    {2,3}{2,4}{2,3}
    {2,4}{2}{2,3,5}
    {2,3,5}{2,4}{2,3}

    重命名后的状态转换矩阵:

    I01
    A\(\emptyset\)B
    BBC
    CDC
    DBE
    EDC

    确定化后的 \(DFA\) :1.非终态组:{A,B,C,D} ,终态组:{E}2.{A},{B,C,D},{E}3.{A},{B,C},{D},{E}4.{A},{B},{C},{D},{E}化简后的 \(DFA\) :

  1. a*(b|a)(a|b)*ba解:\(NFA\) :!

    状态转换矩阵:

    Iab
    {1}{1,2}{2}
    {1,2}{1,2}{2,3}
    {2}{2}{2,3}
    {2,3}{2,4}{2,3}
    {2,4}{2}{2,3}

    重命名后的状态转换矩阵:

    Iab
    ABC
    BBD
    CCD
    DED
    ECD

    确定化后的 \(DFA\) :!

    1.非终态组:{A,B,C,D} ,终态组:{E}2.{A,B,C},{D},{E}3.{A},{B,C},{D},{E}

    化简后的状态转换矩阵:

    Iab
    ABB
    BBC
    CDC
    DBC

    化简后的 \(DFA\) :!

X 关闭

南非工业网版权所有

备案号:沪ICP备2022005074号-13邮箱:58 55 97 3@qq.com