151220129 计科 吴政亿
厚书 3.7.1
(2)一个状态
ϵ−closure(0)={0}=A
ϵ
−
c
l
o
s
u
r
e
(
0
)
=
{
0
}
=
A
Dtran[A,a]=ϵ−closure(0,1)={0,1}=B
D
t
r
a
n
[
A
,
a
]
=
ϵ
−
c
l
o
s
u
r
e
(
0
,
1
)
=
{
0
,
1
}
=
B
Dtran[A,b]=ϵ−closure(0)=A
D
t
r
a
n
[
A
,
b
]
=
ϵ
−
c
l
o
s
u
r
e
(
0
)
=
A
Dtran[B,a]=ϵ−closure(0,1,2)={0,1,2}=C
D
t
r
a
n
[
B
,
a
]
=
ϵ
−
c
l
o
s
u
r
e
(
0
,
1
,
2
)
=
{
0
,
1
,
2
}
=
C
Dtran[B,b]=ϵ−closure(0,1)=B
D
t
r
a
n
[
B
,
b
]
=
ϵ
−
c
l
o
s
u
r
e
(
0
,
1
)
=
B
Dtran[C,a]=ϵ−closure(0,1,2)=C
D
t
r
a
n
[
C
,
a
]
=
ϵ
−
c
l
o
s
u
r
e
(
0
,
1
,
2
)
=
C
Dtran[C,b]=ϵ−closure(0,1,2,3)=D
D
t
r
a
n
[
C
,
b
]
=
ϵ
−
c
l
o
s
u
r
e
(
0
,
1
,
2
,
3
)
=
D
Dtran[D,a]=ϵ−closure(0,1,2)=C
D
t
r
a
n
[
D
,
a
]
=
ϵ
−
c
l
o
s
u
r
e
(
0
,
1
,
2
)
=
C
Dtran[D,b]=ϵ−closure(0,1,2,4)=D
D
t
r
a
n
[
D
,
b
]
=
ϵ
−
c
l
o
s
u
r
e
(
0
,
1
,
2
,
4
)
=
D
NFA | DFA | a | b |
---|---|---|---|
{0} | A | B | A |
{0,1} | B | C | B |
{0,1,2} | C | C | D |
{0,1,2,3} | D | C | D |
4.2.1
- S→SS∗→SS+S∗→aS+S∗→aa+S∗→aa+a∗ S → S S ∗ → S S + S ∗ → a S + S ∗ → a a + S ∗ → a a + a ∗
- S→SS∗→Sa∗→SS+a∗→Sa+a∗→aa+a∗ S → S S ∗ → S a ∗ → S S + a ∗ → S a + a ∗ → a a + a ∗
- 如下图
- 略
- 所有加法和乘法混合的a的后缀表达式集合