Consider the DFA below for the regular expression (yI(xx))y:

Problem 1

You can build a transition table for any deterministic finite automaton. This table has as many rows as states, and as many columns as symbols in the alphabet that the strings are made out of . Entry T[i][x]

Shows what the next state would be if you’re in state i and see symbol j. Consider the DFA below for the regular expression (yI(xx))y:

The transition table for this is:

Y

—00.

State x y Final? 1 2 3 x 2 2 4 x 3 — 4 x 4 ✓

Note that we don’t indicate a transition to the error state. Instead, we just mark the transition as —. We saw an example of this kind of transition table when building the subset construction. (a) (10 points) Draw the transition table for the following DFA: b —OP. d c b —No-(b) (10 points) Draw the DFA corresponding to the following transition table :

1