行为
状态
X
X
c
a
P
λ
P
P
λ
P
N
a
N
λ
B
P
λ
B
N
a
B
λ
N
P
λ
N
N
map