/* cmd
	dot -Tgif -o"1.4.b.gif" "1.4.b.dot"
*/
digraph DFAb {
	rankdir=LR

	/* Q */
	q1r1 [shape=circle]
	q1r2 [shape=circle]
	q1r3 [shape=circle]
	q2r1 [shape=circle]
	q2r2 [shape=circle]
	q2r3 [shape=circle]
	q3r1 [shape=circle]
	q3r2 [shape=circle]
	q3r3 [shape=circle]
	q4r1 [shape=circle]
	q4r2 [shape=circle]
	q4r3 [shape=circle]

	/* δ */
	q1r1 -> q2r1 [label=a]
	q1r1 -> q1r2 [label=b]
	q1r2 -> q2r2 [label=a]
	q1r2 -> q1r3 [label=b]
	q1r3 -> q2r3 [label=a]
	q1r3 -> q1r3 [label=b]
	q2r1 -> q3r1 [label=a]
	q2r1 -> q2r2 [label=b]
	q2r2 -> q3r2 [label=a]
	q2r2 -> q2r3 [label=b]
	q2r3 -> q3r3 [label=a]
	q2r3 -> q2r3 [label=b]
	q3r1 -> q4r1 [label=a]
	q3r1 -> q3r2 [label=b]
	q3r2 -> q4r2 [label=a]
	q3r2 -> q3r3 [label=b]
	q3r3 -> q4r3 [label=a]
	q3r3 -> q3r3 [label=b]
	q4r1 -> q4r1 [label=a]
	q4r1 -> q4r2 [label=b]
	q4r2 -> q4r2 [label=a]
	q4r2 -> q4r3 [label=b]
	q4r3 -> q4r3 [label=a]
	q4r3 -> q4r3 [label=b]

	/* q0 */
	q0 [shape=point]
	q0 -> q1r1

	/* F */
	q3r3 [shape=doublecircle]
}