00:01
We're given a nondeterministic finite state automaton, and we were asked to find the language recognized by this machine.
00:11
So this is the machine from exercise 44 in this section.
00:20
Looking at the figure, we see that it contains three states, s0, s1, and s2.
00:52
We see that s0 is marked as the start state, and we see that the start state.
01:17
Is also a final state.
01:27
Because the final state, this implies that the empty string lambda is in the language recognized by the machine.
01:38
Now we see that to move from state s0 to the state s1, which we see that this is a final state.
02:01
First, let's consider the possibility that we do it directly, and the input must be a 0 or a 1 at state s0.
02:15
So it follows that the strings 0 and 1 are also recognized by the machine.
02:31
Now instead, suppose that we want to move from state s0 to s2, which is not a final state...