Source: http://web.cecs.pdx.edu/~sheard/course/CS581/notes/NFAClosureProp.pdf