added section on NFAs

introduced regular expressions