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识别的是什么样的语言。

    (1)状态转换矩阵:

     (2)状态转换图:

     该NFA识别的语言是 b*aa*bb

    2.NFA 确定化为 DFA

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

    1). 上述练习1的NFA

    2). P64页练习3

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

    1). 

    2).P50图3.6

    子集法:

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

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

    步骤:

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

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

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

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

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

    2).画出DFA

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


    答:

    一、NFA 确定化为 DFA

    1、练习1的NFA

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

    (2)画出DFA


    2、书本P64页练习3

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

    (2)画出DFA:

     


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

     1、老师发的图

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

     (2)画出DFA


     2、书本P50图3.6

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

    (2)画出DFA:

  • 相关阅读:
    Java运算符
    Java数据类型,常量与变量
    内存
    cmd编码
    DELL G7重置电脑操作步骤
    关于es6中...运算符的总结
    js数组与字符串相互转换
    JS中的continue,break,return的区别
    git提交步骤
    数据修改后点击确定没有保存 还是原来的数据
  • 原文地址:https://www.cnblogs.com/carmen-/p/11762805.html
Copyright © 2011-2022 走看看