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

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

    练习:

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

    1). 发给大家的图1

     

    a

    b

    A

    0

    {01}

    0

    B

    {01}

    {01}

    {02}

    C

    {02}

    {01}

    {03}

    D

    {03}

    {01}

    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}

    {ZV}

    {QUZ}

    G

    Z

    Z

    Z

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

    1). 发给大家的图2

     

     

    0

    1

    2

    X

    ε{A}={ABC}

    ε{A}={ABC}

    ε{B}={BC}

    ε{C}={C}

    Y

    ε{B}={BC}

    ε{B}={BC}

    ε{C}={C}

    Z

    ε{C}={C}

    ε{C}={C}

    2).P50图3.6

     

    a

    b

    A

    ε{0}={01247}

    ε{38}={1234678}

    ε{5}={124567}

    B

    ε{38}={1234678}

    ε{38}={1234678}

    ε{59}={1245679}

    C

    ε{5}={124567}

    ε{38}={1234678}

    ε{5}={124567}

    D

    ε{59}={1245679}

    ε{38}={1234678}

    ε{510}={12456710}

    E

    ε{510}={12456710}

    ε{38}={1234678}

    ε{5}={124567}

     

  • 相关阅读:
    svn进行Update操作失败 提示lock
    strust2自定义拦截器
    nginx相关特性及使用
    在linux服务器上部署springboot项目,并用nginx映射域名
    centos7 安装redis-6.0.6
    centos 7安装mysql 8教程
    centos7 设置系统时间
    centos7 fastdfs安装
    过滤器相关
    FastDFS相关
  • 原文地址:https://www.cnblogs.com/lcj170/p/11757660.html
Copyright © 2011-2022 走看看