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

	/* Q */
	q1r1 [shape=circle]
	q1r2 [shape=circle]
	q2r1 [shape=circle]
	q2r2 [shape=circle]
	q3r1 [shape=circle]
	q3r2 [shape=circle]

	/* δ */
	q1r1 -> q3r2 [label=a]
	q1r1 -> q2r1 [label=b]
	q1r2 -> q3r1 [label=a]
	q1r2 -> q2r2 [label=b]
	q2r1 -> q1r2 [label=a]
	q2r1 -> q2r1 [label=b]
	q2r2 -> q1r1 [label=a]
	q2r2 -> q2r2 [label=b]
	q3r1 -> q3r2 [label=a]
	q3r1 -> q3r1 [label=b]
	q3r2 -> q3r1 [label=a]
	q3r2 -> q3r2 [label=b]

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

	/* F */
	q1r1 [shape=doublecircle]
	q2r1 [shape=doublecircle]
}