Oversæt ligningssystemet til en NFA hvor starttilstanden bestemmer hvilken variabel man er interesseret i værdien af.