`automata`: a tool for exhaustively generating valid strings from given automata grammars (FSMs, PDAs, Turing Machines)