dfas nfas and regular expression theory 4142646