Start state for NFSA implemented