2002 子集法NFA => DFA 的问题，实有不解！

[linwd]

I I0 I1
{S，1，2，3} {1，2，3，4，5，Z} {2，3}
{1，2，3，4，5，Z} T1 T2{2, 3,}
{2，3} {4，5，Z} {2，3}
T{4, 5, Z} {6} T3
T1 {1，3，4，5，6，Z} {5，Z}
{} T3 {5，Z}
{} 6 T3


第一行的I0，怎么有 2 在。经过一个0我走不出来。
而后面的{}有怎么推出 I0和I1的元素呢

[linwd]

而切那个语言的正规式 我觉得是
(0*|1*)0(01)*
才是啊，为什么答案是(0*|1*)*0(0|1)*

[wwwwjjjj]

学习

[kbsoft]

1。本来就没有2啊。是{1，3，4，5，Z}
2。仔细化简一下就知道了。

[xstarwish]

朋友能讲讲这道题的解题思路或者是方式，可以吗？？

楼主别忙着结帖啊`~


这道题我根本都没有看明白，，，不知道怎么做，，

“第一行的I0，怎么有 2 在。经过一个0我走不出来。
而后面的{}有怎么推出 I0和I1的元素呢”

这些都是什么意思呢`？？？谢谢~

[xtyqzp]

NFA==>DFA有算法的，如下：
（1）找出开始集合S0 （即nfa图中的所有开始状态，及与这些状态“距离”为0的状态）
（2）对每个终结符i：
S0通过i能到达的所有状态的集合Si，并且与S1中状态“距离”0的状态也加入Si中
这样通过S0能导出几个集合
（3）对所有新导出的集合做（2），如果集合在之前已经做过（2）就不用做了
（4）所有集合为S0,S1,S2,......Sn,这每个集合即为DFA的一个状态，它们的联系就是终结符i
不知我说清楚没。
邮箱：[e-mail] 密码：bugaoshuni:)

[linwd]

是我做的这个题目和原来的那个不同，这里的这个是错的。
推到是推的出来，但是后面的正规式 有怎么解呢？？？？？？？？

[xstarwish]

那么 这到题里表的各项 i,i0,i1 都是什么？？？？

还有你说的过程中 ，，距离为 0 是什么意思呢？？

我看了，，半懂不懂的，，，

[xstarwish]

up

[linwd]

看教材上有一个列子，仔细看看！

[xstarwish]

我用的是邮电的教材，，没有这个例子，，呵呵`~