CS 317 RE to NFA