Recall that any Regular Expression can be simulated by an NFA.
(a) Using the notation/style given in lecture slides, construct the NFA for the RegEx ((a*b)*|ab*). Clearly show all the ε transitions for the closure operator * and or operator |.
(b) Show that the expression aaaa will NOT be accepted by this machine. To show this, simulate the machine after reading each symbol, including the empty symbol.
(c) Show that the expression abab will be accepted by this machine. To show this, simulate the machine after reading each symbol, including the empty symbol.