-
Notifications
You must be signed in to change notification settings - Fork 0
/
HW3.py
157 lines (115 loc) · 3.87 KB
/
HW3.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
from FSM import *
# HW 3 no 9 (1)
fsm9 = FSM(sts=("A", "B", "C", "D", "E", "F", "G", "H", "J", "K"), sgm=tuple("abc"))
fsm9.add_transition("A", "a", "G")
fsm9.add_transition("A", "b", "E")
fsm9.add_transition("A", "c", "A")
fsm9.add_transition("B", "a", "A")
fsm9.add_transition("B", "b", "E")
fsm9.add_transition("B", "c", "C")
fsm9.add_transition("C", "a", "C")
fsm9.add_transition("C", "b", "F")
fsm9.add_transition("C", "c", "C")
fsm9.add_transition("D", "a", "F")
fsm9.add_transition("D", "b", "D")
fsm9.add_transition("D", "c", "C")
fsm9.add_transition("E", "a", "A")
fsm9.add_transition("E", "b", "K")
fsm9.add_transition("E", "c", "G")
fsm9.add_transition("F", "a", "C")
fsm9.add_transition("F", "b", "D")
fsm9.add_transition("F", "c", "C")
fsm9.add_transition("G", "a", "G")
fsm9.add_transition("G", "b", "H")
fsm9.add_transition("G", "c", "A")
fsm9.add_transition("H", "a", "G")
fsm9.add_transition("H", "b", "J")
fsm9.add_transition("H", "c", "A")
fsm9.add_transition("J", "a", "B")
fsm9.add_transition("J", "b", "K")
fsm9.add_transition("J", "c", "G")
fsm9.add_transition("K", "a", "B")
fsm9.add_transition("K", "b", "K")
fsm9.add_transition("K", "c", "G")
fsm9.add_accepting("C")
fsm9.add_accepting("D")
fsm9.add_accepting("F")
fsm9.set_initial("A")
print("9 (1)")
fsm9.min_dfsm()
# HW 3 no 11 (3)
fsm11 = FSM(sts=("A", "B", "C", "D", "E", "F", "G", "H", "J", "K"), sgm=tuple("abc"))
fsm11.add_transition("A", "a", "B")
fsm11.add_transition("A", "b", "C")
fsm11.add_transition("A", "c", "A")
fsm11.add_transition("B", "a", "D")
fsm11.add_transition("B", "b", "C")
fsm11.add_transition("B", "c", "A")
fsm11.add_transition("C", "a", "F")
fsm11.add_transition("C", "b", "C")
fsm11.add_transition("C", "c", "A")
fsm11.add_transition("D", "a", "E")
fsm11.add_transition("D", "b", "G")
fsm11.add_transition("D", "c", "C")
fsm11.add_transition("E", "a", "D")
fsm11.add_transition("E", "b", "G")
fsm11.add_transition("E", "c", "C")
fsm11.add_transition("F", "a", "E")
fsm11.add_transition("F", "b", "C")
fsm11.add_transition("F", "c", "C")
fsm11.add_transition("G", "a", "F")
fsm11.add_transition("G", "b", "A")
fsm11.add_transition("G", "c", "H")
fsm11.add_transition("H", "a", "K")
fsm11.add_transition("H", "b", "H")
fsm11.add_transition("H", "c", "H")
fsm11.add_transition("J", "a", "H")
fsm11.add_transition("J", "b", "K")
fsm11.add_transition("J", "c", "H")
fsm11.add_transition("K", "a", "J")
fsm11.add_transition("K", "b", "H")
fsm11.add_transition("K", "c", "H")
fsm11.add_accepting("H")
fsm11.add_accepting("J")
fsm11.add_accepting("K")
fsm11.set_initial("A")
print("11 (3)")
fsm11.min_dfsm()
# HW 3 no 14 (6)
fsm14 = FSM(sts=("A", "B", "C", "D", "E", "F", "G", "H", "J", "K"), sgm=tuple("abc"))
fsm14.add_transition("A", "a", "H")
fsm14.add_transition("A", "b", "A")
fsm14.add_transition("A", "c", "B")
fsm14.add_transition("B", "a", "C")
fsm14.add_transition("B", "b", "B")
fsm14.add_transition("B", "c", "A")
fsm14.add_transition("C", "a", "H")
fsm14.add_transition("C", "b", "E")
fsm14.add_transition("C", "c", "B")
fsm14.add_transition("D", "a", "C")
fsm14.add_transition("D", "b", "B")
fsm14.add_transition("D", "c", "G")
fsm14.add_transition("E", "a", "C")
fsm14.add_transition("E", "b", "D")
fsm14.add_transition("E", "c", "A")
fsm14.add_transition("F", "a", "G")
fsm14.add_transition("F", "b", "G")
fsm14.add_transition("F", "c", "K")
fsm14.add_transition("G", "a", "G")
fsm14.add_transition("G", "b", "F")
fsm14.add_transition("G", "c", "K")
fsm14.add_transition("H", "a", "H")
fsm14.add_transition("H", "b", "E")
fsm14.add_transition("H", "c", "A")
fsm14.add_transition("J", "a", "H")
fsm14.add_transition("J", "b", "A")
fsm14.add_transition("J", "c", "K")
fsm14.add_transition("K", "a", "G")
fsm14.add_transition("K", "b", "K")
fsm14.add_transition("K", "c", "K")
fsm14.add_accepting("F")
fsm14.add_accepting("G")
fsm14.add_accepting("K")
fsm14.set_initial("A")
print("14 (6)")
fsm14.min_dfsm()