zoukankan      html  css  js  c++  java
  • 作业8非确定的自动机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={(a|b)*abb}

    2.NFA 确定化为 DFA

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

    1). 上述练习1的NFA

     

     

    a

    b

    A

    {0}

    {0,1}

    {0}

    B

    {0,1}

    {0,1}

    {0,2}

    C

    {0,2}

    {0,1}

    {0,3}

    D

    {0,3}

    {0,1}

    {0}

    2).画出DFA

    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}  {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
    1 ε{0}={01247} ε{38}={1243678} ε{5}={124567}
    2 {1243678} ε{38}={1243678} ε{59}={1245679}
    3 {124567} ε{38}={1243678} ε{5}={124567}
    4 {1245679} ε{38}={1243678} ε{5910}={124567910}
    5 {124567910} ε{38}={1243678}

    ε{5910}={124567910}

    DFA:

    2.将1的NFA确定化

    NFA 确定化为 DFA

    子集法:

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

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

    步骤:

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

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

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

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

    ④重复23步骤,直到没有新的DF

    3).看NFA和DFA识别的符号串是否一致。

  • 相关阅读:
    php接收二进制文件转换成图片
    浅述WinForm多线程编程与Control.Invoke的应用
    精典策略模式
    js数组的操作详解
    PHP常用类
    收藏:五种开源协议的比较(BSD,Apache,GPL,LGPL,MIT)
    在 Windows 上部署 Qt 应用程序
    解决 MinGW5.14 编译 QT4.4.3 报错的问题
    懒人制作 deb 包
    NET 自定义配置文件 Configuration
  • 原文地址:https://www.cnblogs.com/momo-er/p/11763890.html
Copyright © 2011-2022 走看看