public Automaton GetAutomaton(string name) { if (name.Equals("quickBrown")) { return quickBrownAutomaton; } else { return null; } } }