自动机理论、语言和计算导论课后习题答案中文版
F:/,"
0"
4:!
/,"
0"
3:
/,"
:
0"
2*F:0
3*9:, C/,"
GA-:, 0"
G/,"
:
0/,/,"
:,
0/,"
D!
!E0"
D!E
b) 是属于 9的非空串,也即串 被接收,因此 "
0"
,则由 知
"
0 "
0"
。现在通过对 :的归纳来证明 "
:
0"
。
基础*:0 时,需证 "
0"
,由已知可得。
归纳:假设对于 :, 命题成立,也就是说, "
:,
0"
。由练习
"
:
0 "
:,
0 "
D由归纳假设E0"
D由E。
#
923!
11909!
#
2*1105!!
#!8 # 909
3*95
08
; *03 #82!
! 98095F9
9093 #82!
!/,9802F9
/,9025/,909!
#
;<*0 3 #8
#2!!/,98025
F9/,9093
#8 #2!
!/,9809F9/,
9025/,909!
#
这个自动机表示,状态 9 表示偶数个 ,状态 2 表示奇数个 ,不管串有偶数
志文工作室
评论0
最新资源