8. Regex to NFA Example 2

Example 2

Construct an automaton accepting $\text{Langauge\_of}(a^{\ast }(b\cup ab{)}^{\ast }b{b}^{\ast })$

digraph {
	rankdir=LR
	init[shape=point]
	node[shape=doublecircle]; f;
	node[shape=circle];
	init->a
	
	a->a [label=a]
	a->b [label=ε]
	b->c [label=ε]
	c->d [label=a]
	d->e [label=b]
	e->b [label=ε]
	b->f [label=b]
	f->f [label=b]
	c->g [label=b]
	g->b [label=ε]
}