Automaton Simulator, v1.0
dpda {
	alphabet {abcdA*_}
	state {
		initial {yes}
		coord {245 74}
	}
	state {
		coord {124 245}
	}
	state {
		final {yes}
		coord {410 256}
	}
	edge 0 0 {
		transits {a}
		offset {2.510513266118464}
		stacktop {_}
		action {push A}
	}
	edge 0 0 {
		transits {a}
		offset {1.522054475484965}
		stacktop {A}
		action {push a}
	}
	edge 0 0 {
		transits {a}
		offset {0.6078019961139605}
		stacktop {a}
		action {push a}
	}
	edge 0 2 {
		transits {b}
		offset {0.5235987755982988}
		stacktop {_}
	}
	edge 0 1 {
		transits {b}
		offset {6.520034068126507}
		stacktop {A}
	}
	edge 0 1 {
		transits {b}
		offset {-0.5040080065054027}
		stacktop {a}
	}
	edge 1 2 {
		transits {a}
		offset {0.5235987755982988}
		stacktop {A}
		action {pop}
	}
	edge 1 1 {
		transits {a}
		offset {-1.396124127786657}
		stacktop {a}
		action {pop}
	}
	label {
		text {S}
		font {SansSerif 12 -}
		coord {241 78}
	}
	label {
		text {B}
		font {SansSerif 12 -}
		coord {120 251}
	}
	label {
		text {C}
		font {SansSerif 12 -}
		coord {404 262}
	}
	label {
		text {deterministischer(!) Kellerautomat zu Beispiel 12.2 aus dem Skript}
		font {SansSerif 12 -}
		coord {100 350}
	}
	label {
		text {Notation an den Kanten: oberstes Kellersymbol / Eingabesymbol: Kelleraktion}
		font {SansSerif 12 -}
		coord {100 380}
	}
}