MediumAutomaton LittleAutomaton