/
test.py
60 lines (52 loc) · 1.38 KB
/
test.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
from automata import *
from nfa2dfa import *
from regex2nfa import *
from dfa2mindfa import *
##########
# Part 1 #
##########
regex2nfa_obj=regex2nfa("g")
regex2nfa_obj.convert_to_nfa()
aut_nfa = automata('nfa')
aut_nfa.add_char("x")
aut_nfa.add_char("y")
aut_nfa.add_state()
aut_nfa.add_state()
aut_nfa.add_state()
aut_nfa.add_state()
aut_nfa.add_transition(1,'x',3)
aut_nfa.add_transition(1,'#',2)
aut_nfa.add_transition(3,'#',4)
aut_nfa.add_transition(4,'y',1)
####
aut_nfa.add_transition(0,'x',1)
aut_nfa.add_transition(0,'y',2)
aut_nfa.add_transition(1,'x',0)
aut_nfa.add_transition(1,'y',3)
aut_nfa.add_transition(2,'x',0)
aut_nfa.add_transition(2,'y',3)
aut_nfa.add_transition(3,'x',3)
aut_nfa.add_transition(3,'y',3)
####
aut_nfa.add_final_state(3)
aut_nfa.display_automata()
automata.display_nx_automata(aut_nfa, "nfa", "NFA")
##########
# Part 2 #
##########
nfa2dfa_obj = nfa2dfa('nfa2dfa')
nfa2dfa_obj.set_nfa(aut_nfa)
nfa2dfa_obj.set_charset(aut_nfa.char_set)
nfa2dfa_obj.build_dfa()
aut_dfa = nfa2dfa_obj.dfa
nfa2dfa_obj.display_automata()
automata.display_nx_automata(aut_dfa, "dfa", "DFA")
##########
# Part 3 #
##########
nfa2mindfa_obj = dfa2mindfa(aut_dfa)
nfa2mindfa_obj.minimiseIt()
aut_min_dfa = automata("min_dfa")
aut_min_dfa = nfa2mindfa_obj.create_new_dfa()
aut_min_dfa.display_automata()
automata.display_nx_automata(aut_min_dfa, "min_dfa", "MINIMAL DFA")