Penguin

Describe FiniteAutomaton? here.