Kan någon kontrollera min lösning?

Hur kan "a" beskrivas på två olika sätt i tillstånd "2"?

För att i tillståndsmaskin som finns i uppgiften går ut från nummer 2 tvår pilar till sig själv och till 4

För att i tillståndsmaskin som finns i uppgiften går ut från nummer 2 tvår pilar till sig själv och till 4

Då tycks det finnas en tveksamhet beskriven i uppgiften.

I vilket steg? 

Det kanske är grejen med indeterministisk tillståndsmaskin, men jag har inte sysslat med sådana. 

Något har blivit knas i alla fall. I din bild över DFA:n så kan man från "4" ta sig till antingen (2,3) eller (3,4) genom att avläsa b, alltså är det inte en DFA, utan en NFA. 

Jag har inte gjort som du med tabeller, utan jag brukar fylla i DFA:n ett steg i taget istället. Jag börjar med starttillstånden (varför står det i uppgiften att starttillståndet är 1, när i bilden så är både 1 och 2 starttillstånd?), och sedan utifrån den mängden så läser vi av vart vi kan ta oss genom att läsa av a och b från alla olika "noder" i delmängden. I ditt fall (där vi betraktar både 1 och 2 som starttillstånd) skulle min början bli:

$(1,2,3)\leftarrow b\leftarrow (1,2)\to a\to (2,4)$. Sen fortsätter jag så, dvs vart kan du ta dig från 2 eller 4, genom att avläsa a/b, samma med 1, 2, 3 (där den i mitten "(1,2)" är starttillståndet). Det känns mer flytande än att hålla på att läsa av tabeller som man gör.

Moffen skrev:

Något har blivit knas i alla fall. I din bild över DFA:n så kan man från "4" ta sig till antingen (2,3) eller (3,4) genom att avläsa b, alltså är det inte en DFA, utan en NFA. 

Jag har inte gjort som du med tabeller, utan jag brukar fylla i DFA:n ett steg i taget istället. Jag börjar med starttillstånden (varför står det i uppgiften att starttillståndet är 1, när i bilden så är både 1 och 2 starttillstånd?), och sedan utifrån den mängden så läser vi av vart vi kan ta oss genom att läsa av a och b från alla olika "noder" i delmängden. I ditt fall (där vi betraktar både 1 och 2 som starttillstånd) skulle min början bli:

$(1,2,3)\leftarrow b\leftarrow (1,2)\to a\to (2,4)$. Sen fortsätter jag så, dvs vart kan du ta dig från 2 eller 4, genom att avläsa a/b, samma med 1, 2, 3 (där den i mitten "(1,2)" är starttillståndet). Det känns mer flytande än att hålla på att läsa av tabeller som man gör.

Jag fick veta nyss att de har tryckfel och det startar i ett så att jag har löst den vad tycker du?