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

UptoLike

122
Параграф 20
1. в)
2. а)
б) преходящие состояния: 4, 5; тупиковые состояния: 2, 7; изолиро-
ванные состояния: 8;
в) G(1) = {1, 2}, G(2) = {2}, G(3) = {1, 2, 3, 6, 7}, G(4) = {1, 2, 3, 4, 6, 7},
G(5) = {1, 2, 5, 6, 7}, G(6) = {1, 2, 6, 7}, G(7) = {7}, G(8) = {8}.
3. Два изолированных подавтомата, определяемые множествами
состояний {1, 2, 3, 4, 5, 6} и {7, 8, 9}.
1
2
3
(0
00
/0)
(
/0)
(
/0)
(
101
/0)
(
/0)
(000/0)(010/0)(011/0)
(000/0)(001/0)
(010/1)(011/1)
(
/
1
)
(
/
2
)
(010/1)(011/1
)
(
/
1
)
(
/
1
)
(
/
1
)
(
111
/
1
)
(
/
2
)
(
/
2
)
(
/
2
)
(
111
/
2
)
1
2
5
6
3
7
4
8
(
α
/0)
(/1)
(α/1)(/0)
(α/1)
(/0)
(α/0)
(/1)
(α/1)
(/0)
(α/0)
(/1)
(α/1)(/1)
(α/1)(/0)