Add comments
Add function to combine NFAs