Дискретная математика. Громов Ю.Ю - 101 стр.

UptoLike

101
Преходящим подавтоматом называется такой подавтомат, который
можно покинуть, но нельзя вернуться обратно. В тупиковый подавто-
мат можно попасть из некоторого другого подавтомата и после уже
нельзя покинуть. Изолированный подавтомат не может быть достигнут
ни из какого другого подавтомата и не может быть переведён ни в какой
другой подавтомат. Множество состояний S = {1, 2, …, 9} автомата А3
разбито, как это видно из рис. 55, на подмножества S
1
= {1, 4, 7}, S
2
=
= {2, 5, 8} и S
3
= {3, 6, 9}, которые определяют соответственно тупико-
вый, преходящий и изолированный подавтоматы.
)1/()0/()0/(
γ
β
α
Рис. 54
1
2
3
4
5
6
)1/(
α
)0/()0/()1/( γβα
)0/(
β
)1/(
γ
)1/(γ
)1/(α
)1/()1/()0/(
γ
β
α
)1/(β
)1/()0/()1/(
γ
β
α
Рис. 55
1
2
3
)0/(α
)1/(
β
4
5
6
)1/(α
)1/(β
7
8
9
)0/(β
)0/(α
)1/(β
)0/(α
)0/(β
)0/(α
)1/(
α
)0/(
β
)0/()1/( βα
)0/(α
)0/(β
)1/()0/( βα
S
1
S
2
S
3