Automaton Simulator, v1.0
dfa {
	alphabet {abcd*}
	label {
		text {xaaa or aaax}
		font {SansSerif 12 -}
		coord {26 17}
	}
}
