Automaton Simulator, v1.0
turing {
	alphabet {abcx*_}
	state {
		initial {yes}
		coord {157 150}
	}
	state {
		coord {327 65}
	}
	state {
		coord {522 65}
	}
	state {
		coord {698 150}
	}
	state {
		coord {27 150}
	}
	state {
		coord {326 150}
	}
	state {
		coord {523 150}
	}
	state {
		final {yes}
		coord {27 265}
	}
	state {
		coord {323 235}
	}
	state {
		coord {521 235}
	}
	edge 0 1 {
		transits {a}
		offset {0.5667292175235061}
		direction {R}
		output {x}
	}
	edge 0 5 {
		transits {b}
		offset {0.2589079442424105}
		direction {R}
		output {x}
	}
	edge 0 0 {
		transits {_}
		offset {1.8717165611553217}
		direction {R}
	}
	edge 1 1 {
		transits {abc}
		offset {1.6262948320406136}
		direction {R}
	}
	edge 5 5 {
		transits {abc}
		offset {1.630427039926066}
		direction {R}
	}
	edge 1 2 {
		transits {_}
		offset {0.355591796477845}
		direction {L}
	}
	edge 5 6 {
		transits {_}
		offset {0.459315600918212}
		direction {L}
	}
	edge 1 2 {
		transits {x}
		offset {-0.36013833023795505}
		direction {L}
	}
	edge 5 6 {
		transits {x}
		offset {-0.38522288358997847}
		direction {L}
	}
	edge 2 3 {
		transits {a}
		offset {0.6106014953281922}
		direction {L}
		output {x}
	}
	edge 6 3 {
		transits {b}
		offset {0.2871679717816429}
		direction {L}
		output {x}
	}
	edge 3 3 {
		transits {abc}
		offset {0.41333040453932784}
		direction {L}
	}
	edge 3 0 {
		transits {x}
		offset {1.363548805264069}
		direction {R}
	}
	edge 0 4 {
		transits {x}
		offset {-0.37987000199144827}
		direction {L}
	}
	edge 4 4 {
		transits {x}
		offset {1.512040504079174}
		direction {R}
	}
	edge 4 7 {
		transits {_}
		offset {0.16627930179153494}
		direction {R}
	}
	edge 0 8 {
		transits {c}
		offset {-0.28140833032836693}
		direction {R}
		output {x}
	}
	edge 8 8 {
		transits {abc}
		offset {1.5330783743280325}
		direction {R}
	}
	edge 9 3 {
		transits {c}
		offset {-0.39234014421551555}
		direction {L}
		output {x}
	}
	edge 8 9 {
		transits {_}
		offset {0.3888972783194995}
		direction {L}
	}
	edge 8 9 {
		transits {x}
		offset {-0.44894278662295456}
		direction {L}
	}
	label {
		text {S}
		font {SansSerif 12 -}
		coord {155 155}
	}
	label {
		text {OK1}
		font {SansSerif 12 -}
		coord {14 155}
	}
	label {
		text {OK2}
		font {SansSerif 12 -}
		coord {15 270}
	}
	label {
		text {Ra}
		font {SansSerif 12 -}
		coord {316 70}
	}
	label {
		text {Rb}
		font {SansSerif 12 -}
		coord {317 155}
	}
	label {
		text {Rc}
		font {SansSerif 12 -}
		coord {314 240}
	}
	label {
		text {Da}
		font {SansSerif 12 -}
		coord {513 70}
	}
	label {
		text {Db}
		font {SansSerif 12 -}
		coord {513 155}
	}
	label {
		text {Dc}
		font {SansSerif 12 -}
		coord {512 240}
	}
	label {
		text {L}
		font {SansSerif 12 -}
		coord {695 155}
	}
	label {
		text {Theoretische Informatik Übungsblatt 8 Aufgabe 2a}
		font {SansSerif 12 -}
		coord {20 413}
	}
	label {
		text {M = (\{S, L, OK1, OK2\} u \{Ra, Rb, Rc, Da, Db, Dc\},  \{a, b, c\} u \{x\},  _,  delta,  S,  \{OK2\})}
		font {SansSerif 12 -}
		coord {20 432}
	}
	label {
		text {Als Sigma sei hier \{a, b, c\} gewählt, das Randsymbol # sei hier das Leerzeichen _ und statt * wird hier x verwendet.}
		font {SansSerif 12 -}
		coord {20 459}
	}
}