This repository has been archived by the owner on Dec 26, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathInt1-8-33-trace.txt
107 lines (99 loc) · 5.23 KB
/
Int1-8-33-trace.txt
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
1. Reading automaton...
Alphabet: a b c
Initial states: 0
Terminal states: 12
Transition table:
/ | * | a | b | c
------+-----+---+----+----
→ 0 | 1 7 | | |
1 | 2 4 | | |
10 | 11 | | |
11 | 12 | | | 11
← 12 | | | |
2 | | 3 | |
3 | 5 | | |
4 | 5 | | 4 |
5 | | | | 6
6 | 12 | | |
7 | 8 9 | | |
8 | 11 | 8 | |
9 | | | 10 |
2. Determinizing and completing automaton...
This automaton is asynchronous because it has at least one epsilon transition (0*1).
This automaton is not deterministic because it has 10 initial states (more than one).
This automaton is already synchronous.
This automaton is incomplete because it misses 11 transition(s).
Alphabet: a b c
Initial states: 0,1,11,12,2,4,5,7,8,9
Terminal states: 0,1,11,12,2,4,5,7,8,9 10,11,12,4,5 11,12 11,12,3,5,8 11,12,6 11,8 12,6
Transition table:
/ | a | b | c
--------------------------+-------------+--------------+---------
←→ 0,1,11,12,2,4,5,7,8,9 | 11,12,3,5,8 | 10,11,12,4,5 | 11,12,6
← 10,11,12,4,5 | X | 4,5 | 11,12,6
← 11,12 | X | X | 11,12
← 11,12,3,5,8 | 11,8 | X | 11,12,6
← 11,12,6 | X | X | 11,12
← 11,8 | 11,8 | X | 11,12
← 12,6 | X | X | X
4,5 | X | 4,5 | 12,6
X | X | X | X
3. Minimizing automaton...
Current partition: {'0,1,11,12,2,4,5,7,8,9', '10,11,12,4,5', '11,12', '11,12,3,5,8', '11,12,6', '11,8', '12,6'} {'4,5', 'X'}
Current partition: {'0,1,11,12,2,4,5,7,8,9'} {'10,11,12,4,5', '11,12', '11,12,6'} {'11,12,3,5,8', '11,8'} {'12,6'} {'4,5'} {'X'}
Current partition: {'0,1,11,12,2,4,5,7,8,9'} {'10,11,12,4,5'} {'11,12', '11,12,6'} {'11,12,3,5,8', '11,8'} {'12,6'} {'4,5'} {'X'}
Alphabet: a b c
Initial states: 0,1,11,12,2,4,5,7,8,9
Terminal states: 0,1,11,12,2,4,5,7,8,9 10,11,12,4,5 11,12+11,12,6 11,12,3,5,8+11,8 12,6
Transition table:
/ | a | b | c
--------------------------+------------------+--------------+---------------
←→ 0,1,11,12,2,4,5,7,8,9 | 11,12,3,5,8+11,8 | 10,11,12,4,5 | 11,12+11,12,6
← 10,11,12,4,5 | X | 4,5 | 11,12+11,12,6
← 11,12+11,12,6 | X | X | 11,12+11,12,6
← 11,12,3,5,8+11,8 | 11,12,3,5,8+11,8 | X | 11,12+11,12,6
← 12,6 | X | X | X
4,5 | X | 4,5 | 12,6
X | X | X | X
4. Starting word recognition...
This step was skipped in this output file.
Execute the program to test word recognition by yourself.
5. Creating an automaton which recognizes the complementary language...
This automaton is already synchronous.
This automaton is not deterministic because it has several transitions with the same origin (11,12+11,12,6) and letter (a).
This automaton is already synchronous.
This automaton is already complete.
Alphabet: a b c
Initial states: 0,1,11,12,2,4,5,7,8,9
Terminal states: 4,5 X
Transition table:
/ | a | b | c
-------------------------+------------------+--------------+---------------
→ 0,1,11,12,2,4,5,7,8,9 | 11,12,3,5,8+11,8 | 10,11,12,4,5 | 11,12+11,12,6
10,11,12,4,5 | X | 4,5 | 11,12+11,12,6
11,12+11,12,6 | X | X | 11,12+11,12,6
11,12,3,5,8+11,8 | 11,12,3,5,8+11,8 | X | 11,12+11,12,6
12,6 | X | X | X
← 4,5 | X | 4,5 | 12,6
← X | X | X | X
6. Starting word recognition...
This step was skipped in this output file.
Execute the program to test word recognition by yourself.
7. Standardizing automaton...
This automaton is already standard.
Alphabet: a b c
Initial states: 0,1,11,12,2,4,5,7,8,9
Terminal states: 4,5 X
Transition table:
/ | a | b | c
-------------------------+------------------+--------------+---------------
→ 0,1,11,12,2,4,5,7,8,9 | 11,12,3,5,8+11,8 | 10,11,12,4,5 | 11,12+11,12,6
10,11,12,4,5 | X | 4,5 | 11,12+11,12,6
11,12+11,12,6 | X | X | 11,12+11,12,6
11,12,3,5,8+11,8 | 11,12,3,5,8+11,8 | X | 11,12+11,12,6
12,6 | X | X | X
← 4,5 | X | 4,5 | 12,6
← X | X | X | X
8. Starting word recognition...
This step was skipped in this output file.
Execute the program to test word recognition by yourself.