W
wnnnnnn6
Unregistered / Unconfirmed
GUEST, unregistred user!
在《编译原理》一书中有这么一道题：
题意：
有限状态自动机可用五元组(Σ、Q、δ、q0、f)来描述，设有一个有限状态自动机M的定义如下。
Σ={0,1},Q={q0,q1,q2},δ定义为：
δ(q0,0)=q1
δ(q1,0)=q2
δ(q2,1)=q2
δ(q2,0)=q2
由此可得M是一个确定的有限状态自动机，它所能接受的语言可以用正则表达式表示为 00(0|1)*，即以两0开始的，有0和1组成的符号串的集合。
请写出“它所能接受的语言可以用正则表达式表示为 00(0|1)*”的计算过程，并附带详细的说明。
谢谢！！！
题意：
有限状态自动机可用五元组(Σ、Q、δ、q0、f)来描述，设有一个有限状态自动机M的定义如下。
Σ={0,1},Q={q0,q1,q2},δ定义为：
δ(q0,0)=q1
δ(q1,0)=q2
δ(q2,1)=q2
δ(q2,0)=q2
由此可得M是一个确定的有限状态自动机，它所能接受的语言可以用正则表达式表示为 00(0|1)*，即以两0开始的，有0和1组成的符号串的集合。
请写出“它所能接受的语言可以用正则表达式表示为 00(0|1)*”的计算过程，并附带详细的说明。
谢谢！！！