码迷,mamicode.com
首页 > 其他好文 > 详细

第九次 DFA化简

时间:2019-11-07 15:11:09      阅读:122      评论:0      收藏:0      [点我收藏+]

标签:最小化   构造   enter   src   text   tab   val   bsp   mic   

1.将DFA最小化:教材P65 第9题

I

{1,2,3,4,5}

{6,7}

 

 

{34}b->{6,7}

{1,2}b->{2}

{5}->

{6}b->{6}

{7}b->{6}

{6,7}不可区别

II

{1,2},{3,4},{5}

{6,7}



 

{1}b->{2},{2}b->{2}

{3}c->{3},{4}c->{3}

{1,2}不可区别,{3,4}不可区别

不可区别

 

                                   

 

 

 

 

 

 

 

 

 

 

   技术图片

 

     

 

 

 

2.构造以下文法相应的最小的DFA

S→ 0A|1B

A→ 1S|1

B→0S|0

 

S->0(1S|1)|1(0S|0)

S->01S|01|10S|10

S->01S|10S|01|10

S->(01|10)S|(01|10)

S->(01|10)*(01|10)

 

NFA

 技术图片

 

DFA

 

 

0

1

1

{S}={SAD}

{BE}

{CF}

2

{BE}

 

{ADG}

3

{CF}

{ADG}

 

4

{ADG}

{BE}

{CF}

 

 

 

 

 

 

 

 

技术图片

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{1,2,3}

{4}

 

{1}0->{2}

{2}0->

{3}0->{4}

不可区分

{1},{2},{3}

{4}

 

 

 

 

 

 

 

 

 

 

 

 

 

化简

 

 技术图片

 

 

 

 

 

3.给定如下文法 G[S]:

AB

→ aA | ? 

→ b | bB

给出句子aaab 的一个自顶向下语法分析过程,并说明回溯产生的原因是什么?

S -> AB

S -> aAB

S -> aaAB

S -> aaaAB

S -> aaa?B

S -> aaa?b

S -> aaab

回溯产生的原因:反复提取公共左因子

 

 

 

 

4.P100 练习4,反复提取公共左因子。

S -> C$

C -> bA | aB

A -> aC‘ | bAA

B -> bC‘ | aBB

C‘ -> C | ?

 

第九次 DFA化简

标签:最小化   构造   enter   src   text   tab   val   bsp   mic   

原文地址:https://www.cnblogs.com/zhff/p/11811910.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!