• 第八次.非确定的自动机NFA确定化为DFA


    1.设有 NFA M=( {0,1,2,3}, {a,b},f,0,{3} ),其中 f(0,a)={0,1}  f(0,b)={0}  f(1,b)={2}  f(2,b)={3}

       画出状态转换矩阵,状态转换图,并说明该NFA识别的是什么样的语言。

    状态转换矩阵

     

    a

    b

    0

    0,1

    0

    1

    Φ

    2

    2

    Φ

    3

    3

    Φ

    Φ

    状态转换图

      

    该NFA识别的语言:  L(M)= (a | b) * abb

    2.NFA 确定化为 DFA

    1.解决多值映射:子集法

    1). 上述练习1的NFA

    状态转换矩阵

     

     

    a

    b

    A

    {0}

    ε{0}={0,1}

    ε{0}={0}

    B

    {0,1}

    ε{0}={0,1}

    ε{0,1}={0,2}

    C

    {0,2}

    ε{0}={0,1}

    ε{0,1}={0,3}

    D

    {0,3}

    ε{0}={0,1}

    ε{0}={0}

    状态转换图

    2). P64页练习3

    状态转换矩阵

     

     

    0

    1

    a

    S

    {V,Q}

    {Q,U}

    b

    {V,Q}

    {Z,V}

    {Q,U}

    c

    {Q,U}

    {V}

    {Q,U,Z}

    d

    {Z,V}

    {Z}

    {Z}

    e

    {V}

    {Z}

     

    f

    {Q,U,Z}

    {V,Z}

    {Q,U,Z}

    g

    {Z}

    {Z}

    {Z}

    状态转换图

    2.解决空弧:对初态和所有新状态求ε-闭包

    1). 发给大家的图2

    状态转换矩阵

     

     

    0

    1

    2

    X

    ε{A}={ABC}

    ε{A}={ABC}

    ε{B}={BC}

    ε{C}={C}

    Y

    {BC}

     

    ε{B}={BC}

    ε{C}={C}

    Z

    {C}

     

     

    ε{C}={C}

    状态转换图

    2).P50图3.6

     状态转换矩阵

     

     

    a

    b

    A

    ε{0}={01247}

    ε{38}={1234678}

    ε{5}={124567}

    B

    {1234678}

    ε{38}={1234678}

    ε{59}={1245679}

    C

    {124567}

    ε{38}={1234678}

    ε{5}={124567}

    D

    {1245679}

    ε{38}={1234678}

    ε{510}={12456710}

    E

    {12456710}

    ε{38}={1234678}

    ε{5}={124567}

    状态转换图

     

    子集法:

    f(q,a)={q1,q2,…,qn},状态集的子集

    将{q1,q2,…,qn}看做一个状态A,去记录NFA读入输入符号之后可能达到的所有状态的集合。

    步骤:

    1).根据NFA构造DFA状态转换矩阵

    ①确定DFA的字母表,初态(NFA的所有初态集)

    ②从初态出发,经字母表到达的状态集看成一个新状态

    ③将新状态添加到DFA状态集

    ④重复23步骤,直到没有新的DFA状态

    2).画出DFA

    3).看NFA和DFA识

  • 相关阅读:
    jflex词法分析器学习笔记
    解决双系统耳机无声音的问题
    win7 x64驱动开发经验(三)windbg 双机调试配置 、问题及解决办法
    addr和offset
    MFC命令更新机制
    win7 64位驱动开发 经验(1)
    透明位图的显示 作者:王骏
    CString ,string, char* 的转换及综合比较
    SPS编辑页面布局的一个小问题
    哈希表的建立、查找。
  • 原文地址:https://www.cnblogs.com/zqy1004/p/11763927.html
Copyright © 2020-2023  润新知