Automaton Simulator, v1.0
turing {
	alphabet {abcx*_}
	state {
		initial {yes}
		coord {157 200}
	}
	state {
		coord {325 115}
	}
	state {
		coord {522 115}
	}
	state {
		coord {697 455}
	}
	state {
		coord {27 200}
	}
	state {
		coord {325 200}
	}
	state {
		coord {522 200}
	}
	state {
		final {yes}
		coord {27 315}
	}
	state {
		coord {325 285}
	}
	state {
		coord {522 285}
	}
	state {
		coord {325 370}
	}
	state {
		coord {325 455}
	}
	state {
		coord {522 370}
	}
	state {
		coord {522 455}
	}
	state {
		coord {522 540}
	}
	state {
		coord {325 540}
	}
	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 0 4 {
		transits {x}
		offset {-0.37987000199144827}
		direction {L}
	}
	edge 4 4 {
		transits {x}
		offset {1.8870824547070513}
		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 8 9 {
		transits {_}
		offset {0.3888972783194995}
		direction {L}
	}
	edge 8 9 {
		transits {x}
		offset {-0.44894278662295456}
		direction {L}
	}
	edge 12 10 {
		transits {x}
		offset {0.43949771560329065}
		direction {R}
	}
	edge 12 10 {
		transits {_}
		offset {-6.625676353224539}
		direction {R}
	}
	edge 13 11 {
		transits {x}
		offset {0.47890361797643166}
		direction {R}
	}
	edge 13 11 {
		transits {_}
		offset {-6.585619213231466}
		direction {R}
	}
	edge 14 15 {
		transits {x}
		offset {0.3690582261712261}
		direction {R}
	}
	edge 14 15 {
		transits {_}
		offset {-6.644687636972076}
		direction {R}
	}
	edge 3 12 {
		transits {a}
		offset {-6.6724615355322}
		direction {L}
		output {x}
	}
	edge 3 13 {
		transits {b}
		offset {0.29769320637070784}
		direction {L}
		output {x}
	}
	edge 3 14 {
		transits {c}
		offset {0.5235987755982988}
		direction {L}
		output {x}
	}
	edge 10 0 {
		transits {a}
		offset {0.5235987755982988}
		direction {R}
		output {x}
	}
	edge 11 0 {
		transits {b}
		offset {0.5235987755982988}
		direction {R}
		output {x}
	}
	edge 15 0 {
		transits {c}
		offset {0.5235987755982988}
		direction {R}
		output {x}
	}
	edge 9 3 {
		transits {c}
		offset {0.5235987755982988}
		direction {L}
		output {x}
	}
	edge 6 3 {
		transits {b}
		offset {0.5235987755982988}
		direction {L}
		output {x}
	}
	edge 2 3 {
		transits {a}
		offset {0.5235987755982988}
		direction {L}
		output {x}
	}
	edge 12 12 {
		transits {abc}
		offset {-1.6058696573281221}
		direction {L}
	}
	edge 13 13 {
		transits {abc}
		offset {-1.6107750139181867}
		direction {L}
	}
	edge 14 14 {
		transits {abc}
		offset {-1.5357229962616712}
		direction {L}
	}
	edge 3 4 {
		transits {x}
		offset {-1.4414572321506038}
		direction {R}
	}
	label {
		text {S}
		font {SansSerif 12 -}
		coord {155 205}
	}
	label {
		text {OK1}
		font {SansSerif 12 -}
		coord {14 205}
	}
	label {
		text {OK2}
		font {SansSerif 12 -}
		coord {15 320}
	}
	label {
		text {Ra}
		font {SansSerif 12 -}
		coord {317 120}
	}
	label {
		text {Rb}
		font {SansSerif 12 -}
		coord {317 205}
	}
	label {
		text {Rc}
		font {SansSerif 12 -}
		coord {317 290}
	}
	label {
		text {DRa}
		font {SansSerif 12 -}
		coord {510 120}
	}
	label {
		text {DRb}
		font {SansSerif 12 -}
		coord {510 205}
	}
	label {
		text {DRc}
		font {SansSerif 12 -}
		coord {510 290}
	}
	label {
		text {L}
		font {SansSerif 12 -}
		coord {695 460}
	}
	label {
		text {Theoretische Informatik Übungsblatt 8 Aufgabe 2a}
		font {SansSerif 12 -}
		coord {20 613}
	}
	label {
		text {M = (\{S, L, OK1, OK2\} u \{Ra, Rb, Rc, DRa, DRb, DRc, La, Lb, Lc, DLa, DLb, DLc\},  \{a, b, c\} u \{x\},  _,  delta,  S,  \{OK2\})}
		font {SansSerif 12 -}
		coord {20 632}
	}
	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 659}
	}
	label {
		text {La}
		font {SansSerif 12 -}
		coord {515 375}
	}
	label {
		text {Lb}
		font {SansSerif 12 -}
		coord {515 460}
	}
	label {
		text {Lc}
		font {SansSerif 12 -}
		coord {515 545}
	}
	label {
		text {DLa}
		font {SansSerif 12 -}
		coord {315 375}
	}
	label {
		text {DLb}
		font {SansSerif 12 -}
		coord {315 460}
	}
	label {
		text {DLc}
		font {SansSerif 12 -}
		coord {315 545}
	}
}