Zbudować niederministyczny automat skończony julek: Dane jest wyrażenie regularne: (a|b)*ab(a|b)*a Zbudować niederministyczny automat skończony akceptujący język opisany powyższym wyrażeniem regularnym, następnie przekształcić go na automat deterministyczny i zupełny.