Grammars can now be constructed from FiniteAutomata instances.