zoukankan      html  css  js  c++  java
  • 8.非确定的自动机NFA确定化为DFA

    NFA 确定化为 DFA

    子集法:

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

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

    步骤:

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

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

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

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

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

    2.画出DFA

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

    练习:

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

    1). 发给大家的图1

        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). P64页练习3

     

        0 1
    A {S} {VQ} {QU}
    B {VQ} {ZV} {QU}
    C {QU} {V} {QUZ}
    D {ZV} {Z} {Z}
    E {V} {Z}  
    F {QUZ} {VZ} {QUZ}
    G {Z} {Z} {Z}

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

    1). 发给大家的图2

        0 1 2
    A ε{A}={ABC} ε{A}={ABC} ε{B}={BC} ε{C}={C}
    B {BC}   ε{B}={BC} ε{C}={C}
    C {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}

  • 相关阅读:
    springcloud:Eureka的使用
    使用tomcat脚本开启服务
    安装Mysql
    springcloud:RPC和HTTP
    vue elementui点击表格当前行radio单选选中
    启动easy-mock
    项目使用的注解
    vue在element-ui的dialog弹出框中加入百度地图
    【转载】linux查看端口状态相关命令
    【记录】linux 文件权限的查看和修改
  • 原文地址:https://www.cnblogs.com/linyanli/p/11757245.html
Copyright © 2011-2022 走看看