A library for representing and computing on different Finite state machines (DFA,FA, NFA with Eta transitions, maybe others)