fix NFA a^*
First few slides of the parser chapter.