/* cmd
	dot -Tgif -o"$g.gif" "$F"
*/
digraph DFA1_5_g {
	rankdir=LR

	/* Q */
	q1 [shape=circle]
	q2 [shape=circle]
	q3 [shape=circle]
	q4 [shape=circle]

	/* δ */
	q1 -> q2 [label=a]
	q1 -> q3 [label=b]
	q2 -> q4 [label=a]
	q2 -> q4 [label=b]
	q3 -> q4 [label=a]
	q3 -> q4 [label=b]
	q4 -> q4 [label=a]
	q4 -> q4 [label=b]

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

	/* F */
	q1 [shape=doublecircle]
	q4 [shape=doublecircle]
}