《编译原理》期末复习资料(完整版)
P72第4题(a)
4、把下图确定化和最小化
解:确定化:
、{1},其中A为初态,A,B为终态,因此有:
最小化::
初始分划得终态组
{A,B},非终态组{C}
Π0:{A,B},{C},对终态组进行审查,判断A和B是等价的,故这是最后的划分。重新命名,以A、C即DFA最小化如下:
第7题
《编译原理》期末复习资料(完整版)
P72第4题(a)
4、把下图确定化和最小化
解:确定化:
、{1},其中A为初态,A,B为终态,因此有:
最小化::
初始分划得终态组
{A,B},非终态组{C}
Π0:{A,B},{C},对终态组进行审查,判断A和B是等价的,故这是最后的划分。重新命名,以A、C即DFA最小化如下:
第7题
下一篇:第五章 大气环境质量评价