digraph 12.5 {
	node [shape = doublecircle]; q2;
	node [shape = circle];
	q0 -> q1 [ label="walk / 1"]; /* hier soll die 1 einen Überstrich erhalten */
	q1 -> q2 [ label="shop"];
	rankdir=LR;
}