Theoretical Aspects of Lexical Analysis/Exercise 17
From Wiki**3
< Theoretical Aspects of Lexical Analysis
Compute the non-deterministic finite automaton (NFA) by using Thompson's algorithm. Compute the minimal deterministic finite automaton (DFA).
The alphabet is Σ = { a, b }. Indicate the number of processing steps for the given input string.
- G = { a*, ba*, a*|b }, input string = aababb
NFA
The following is the result of applying Thompson's algorithm.
DFA
Determination table for the above NFA: Graphically, the DFA is represented as follows: The minimization tree is as follows. Note that before considering transition behavior, states are split according to the token they recognize.