FSMBuilder Python implementation of Finite State Machines and related functions: kleene concatenation union determinisation etc