A simple dfa/nda simulator