A nit library for manipulating finite-state machine