updated nfa spec to support new asterisk parsing