FiniteStateAutomata.jl