opisać dokładnie wszystkie elementy automatu DAS i narysować

opisać dokładnie wszystkie elementy automatu DAS i narysować

MINIMALIZACJA AUTOMATÓW SKOŃCZONYCH
Dla danego automatu DAS:
- opisać dokładnie wszystkie elementy automatu DAS i narysować diagram stanów,
- zminimalizować DAS, podać odpowiednią funkcję przejścia i diagram po usunięciu stanów
nieosiągalnych oraz po ostatecznym zredukowaniu automatu; opisać dokładnie automat
zminimalizowany.
1)
2)
δ
→1
2
K3
K4
a
4
1
1
1
δ
→1
K2
3
K4
b
3
4
1
1
4)
3)
a
4
3
4
4
b
2
2
2
3
5)
δ
→1
2
3
K4
a
3
4
4
1
7)
a
5
4
2
3
1
5
b
1
3
5
0
2
4
8)
δ
1
K2
→3
4
K5
6
a
2
5
2
5
2
5
b
2
1
3
1
4
6
a
2
3
4
1
b
1
2
3
4
δ
→1
2
K3
4
5
6
a
6
2
5
5
1
5
b
3
6
4
1
4
1
6)
δ
→0
1
2
3
4
K5
b
4
3
1
3
δ
→ K1
2
K3
4
9)
δ
→K 1
2
3
4
5
6
a
2
5
6
1
1
4
b
4
1
5
6
2
1
δ
→0
1
2
K3
K4
5
6
a
1
1
2
2
1
3
5
b
2
3
4
4
3
6
4
10)
11)
δ
→K 1
K2
3
4
5
6
7
a
2
1
7
5
4
3
3
b
5
4
2
7
3
6
1
12)
δ
→0
1
K2
3
4
5
6
7
a
2
2
5
2
5
1
5
5
b
5
4
1
5
0
1
2
3
δ
→0
K1
2
3
4
K5
6
7
ODPOWIEDZI
1) Nieosiągalne z
2) Nieosiągalne z
3) Nieosiągalne z
4) Nieosiągalne z
5) Nieosiągalne z
q0 : 2
q 0 : brak
q 0 : brak
q0 : 2
q 0 : brak
6) Nieosiągalne z q 0 : 2
7) Nieosiągalne z q 0 : 6
8) Nieosiągalne z q 0 : 3
9) Nieosiągalne z q 0 : 5,6
10) Nieosiągalne z q 0 : 6
11) Nieosiągalne z q 0 : 3,6,7
12) Nieosiągalne z q 0 : 5,6,7
Q / ≡ = { [1], [3,4] }
Q / ≡ = { [1,3], [2], [4] }
Q / ≡ = { [1,3], [2,4] }
Q / ≡ = { [1], [3] , [4]}
Q / ≡ = { [1,4], [2,3], [0,5] }
Q / ≡ = { [1], [4,6], [5], [3] }
Q / ≡ = { [1], [2], [3], [4], [5] }
Q / ≡ = { [1], [2,6] , [4,5]}
Q / ≡ = { [0], [1,2] , [3,4]}
Q / ≡ = { [1], [2], [3], [4], [5], [7 ] }
Q / ≡ = {[0], [1], [2], [4], [5] }
Q / ≡ = {[0], [1], [2], [4], [3] }
a
2
2
3
0
3
2
3
3
b
4
3
0
0
1
3
2
5