Koncové stavy: Fd := {F’: F’ Î Qd, F’ Ç F ¹ Æ}
{s} Ç {f} = Æ Þ {s} Ï Fd
{s,q1,q2 , f} Ç {f} = {f} ¹ Æ Þ {s,q1,q2 , f} Î Fd
pro
F = {f}:
{s,q1} Ç {f} = Æ Þ {s ,q1} Ï Fd
{s,q1,q2} Ç {f} = Æ Þ {s ,q1 ,q2} Ï Fd
{s,q1, f} Ç {f} = {f} ¹ Æ Þ {s ,q1 , f} Î Fd
...
Fd = {{s,q1, f}, {s,q1,q2, f}, {s,q2, f}, {s, f}, {q1, f}, {q1,q2, f}, {q2, f}, { f}}
Odstranění
nedeterminismu: Příklad
4/5
19/44