zoukankan      html  css  js  c++  java
  • 非确定的自动机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

    练习:

    1. 发给大家的图1

     

     

    2. P64页练习3

     

        0
    0 S {VQ} {UQ} 
    1 {VQ} {VZ} {QU}
    {UQ}  {V}

    {QUZ}

     

     3 {VZ} {Z} {Z} 
     4 {V}  {Z}  
     5 {QUZ}  {VZ}  {QUZ}
     6  {Z}  {z}

     {Z}

     

     

     

     

     

     

     

     

     

     

     

     

     

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

    1). 发给大家的图2

     

    2).P50图3.6

    a

    b

     A

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

    ε{3,8}={2,3,6,1,4,7,8}

    ε{5}={4,5,6,1,2,7}

     B

    {1,2,3,4,6,7,8}

    ε{3,8}={2,3,6,4,1,7,8}

    ε{5,9}={5,6,1,2,4,7,9}

     C

    {1,2,4,5,6,7}

    ε{3,8}={1,2,3,4,6,7,8}

    ε{5}={4,5,6,1,2,7}

     D

    {1,2,4,5,6,7,9}

    ε{3,8}={2,3,6,1,4,7,8}

    ε{5,10}={4,5,6,1,2,7,10}

     E

    {4,5,6,1,2,7,10}

    ε{3,8}={2,3,6,1,4,7,8}

    ε{5}={1,2,4,5,6,7}

     

     

     

     

     

     

     

     

     

     

     

     

     

     

    课程作业
  • 相关阅读:
    高级算法(1):
    spark浅谈(3):
    linux学习笔记(1):
    数据分析之pandas(1)
    数据分析之期权
    数据分析之蒙特卡洛模拟
    未能加载文件或程序集"xxxxxx"或它的某一个依赖项
    未能映射路径"/"
    部署MVC项目ManagedPipelineHandler报错
    IIS记录
  • 原文地址:https://www.cnblogs.com/lingcode/p/11757720.html
Copyright © 2011-2022 走看看