A simple library which implements a NFA and DFA representation, and the subset algorithm.