add ToNFA functions