Update NFAtoDFA.R