Theoretical Aspects of Lexical Analysis/Exercise 3: Difference between revisions
From Wiki**3
No edit summary |
No edit summary |
||
| Line 16: | Line 16: | ||
<!-- ====================== START OF SOLUTION ====================== --> | <!-- ====================== START OF SOLUTION ====================== --> | ||
The non-deterministic finite automaton (NFA), built by applying Thompson's algorithm to the regular expression '''<nowiki>((ε|a)b)*</nowiki>''' is the following: | The non-deterministic finite automaton (NFA), built by applying Thompson's algorithm to the regular expression '''<nowiki>((ε|a)b)*</nowiki>''' is the following: | ||
< | <kroki lang="graphviz"> | ||
digraph nfa { | digraph nfa { | ||
{ node [shape=circle style=invis] start } | { node [shape=circle style=invis] start } | ||
| Line 33: | Line 33: | ||
fontsize=10 | fontsize=10 | ||
} | } | ||
</ | </kroki> | ||
Applying the determination algorithm to the above NFA, the following determination table is obtained: | Applying the determination algorithm to the above NFA, the following determination table is obtained: | ||
| Line 89: | Line 89: | ||
! style="text-align: left; font-weight:normal; vertical-align: top; width: 50%;" |Graphically, the DFA is represented as follows: | ! style="text-align: left; font-weight:normal; vertical-align: top; width: 50%;" |Graphically, the DFA is represented as follows: | ||
< | <kroki lang="graphviz"> | ||
digraph dfa { | digraph dfa { | ||
{ node [shape=circle style=invis] start } | { node [shape=circle style=invis] start } | ||
| Line 103: | Line 103: | ||
fontsize=10 | fontsize=10 | ||
} | } | ||
</ | </kroki> | ||
Given the minimization tree to the right, the final minimal DFA is: | Given the minimization tree to the right, the final minimal DFA is: | ||
< | <kroki lang="graphviz"> | ||
digraph dfamin { | digraph dfamin { | ||
{ node [shape=circle style=invis] start } | { node [shape=circle style=invis] start } | ||
| Line 118: | Line 118: | ||
fontsize=10 | fontsize=10 | ||
} | } | ||
</ | </kroki> | ||
! style="text-align: left; font-weight:normal; vertical-align: top; width: 50%;" | The minimization tree is as follows. | ! style="text-align: left; font-weight:normal; vertical-align: top; width: 50%;" | The minimization tree is as follows. | ||
< | <kroki lang="graphviz"> | ||
digraph mintree { | digraph mintree { | ||
node [shape=none,fixedsize=true,width=0.2,fontsize=10] | node [shape=none,fixedsize=true,width=0.2,fontsize=10] | ||
| Line 130: | Line 130: | ||
fontsize=10 | fontsize=10 | ||
} | } | ||
</ | </kroki> | ||
|} | |} | ||
<!-- ====================== END OF SOLUTION ====================== --> | <!-- ====================== END OF SOLUTION ====================== --> | ||
Latest revision as of 18:24, 26 April 2026
Problem
Use Thompson's algorithm to build the NFA for the following regular expression. Build the corresponding DFA and minimize it.
- ((ε|a)b)*
Solution
The non-deterministic finite automaton (NFA), built by applying Thompson's algorithm to the regular expression ((ε|a)b)* is the following:
Applying the determination algorithm to the above NFA, the following determination table is obtained:
| In | α∈Σ | move(In, α) | ε-closure(move(In, α)) | In+1 = ε-closure(move(In, α)) |
|---|---|---|---|---|
| - | - | 0 | 0, 1, 2, 3, 4, 6, 8 | 0 |
| 0 | a | 5 | 5, 6 | 1 |
| 0 | b | 7 | 1, 2, 3, 4, 6, 7, 8 | 2 |
| 1 | a | - | - | - |
| 1 | b | 7 | 1, 2, 3, 4, 6, 7, 8 | 2 |
| 2 | a | 5 | 5, 6 | 1 |
| 2 | b | 7 | 1, 2, 3, 4, 6, 7, 8 | 2 |
Graphically, the DFA is represented as follows:
 Given the minimization tree to the right, the final minimal DFA is:  |
The minimization tree is as follows.
 |
|---|