Library for creating finite state automata and testing if they accept a given string.