Lisätään ensimmäinen versio NFA:sta.

Tila-automaatti (NFA) rakentuu tiloista (State) ja niitä yhdistävistä
kaarista (Edge), jotka voivat linkittyä suuremmiksi kokonaisuuksiksi
(Fragment).

Tila-automaatti tunnistaa tässä vaiheessa vain yksinkertaisia säännöllisiä lausekkeita.