Made cosmetic changes and updated the exports for FiniteStateAutomata