Create NFAtoDFA.R