NFAs with epsilon moves