Rename NFAtoDFA.R to ch16.R