Text description of the NFA shown in nfa.eps.

	Sigma = {a,b}
	Q = {q_0,q_1,q_2}
	F = {q_1}
	the start state is q_0
	delta is given by the following transition table:

		q_0		q_1		q_2

	a	{q_1,q_2}	{q_2}		{q_0}

	b	{}		{q_1}		{q_1}

where {} denotes the empty set.