/* cmd
	dot -Tgif -o"1.3.gif" "1.3.dot"
*/
digraph SD {
	rankdir=LR

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

	/* ƒÂ */
	q1 -> q1 [label=u]
	q1 -> q2 [label=d]
	q2 -> q1 [label=u]
	q2 -> q3 [label=d]
	q3 -> q2 [label=u]
	q3 -> q4 [label=d]
	q4 -> q3 [label=u]
	q4 -> q5 [label=d]
	q5 -> q4 [label=u]
	q5 -> q5 [label=d]

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

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