Math
Automaty skończone
Zamień wyrażenia regularne na automaty i odczytaj ciąg wejściowy.
Co wypróbować
Edytuj wyrażenie regularne nad alfabetem a i b, używając |, *, nawiasów i konkatenacji. NFA Thompsona jest przekształcany w osiągalne podzbiory DFA. Czytaj słowo po jednej literze; podwójne kółka akceptują. Limit: 16 stanów DFA.
Równania modułu
Równania
Konstrukcja Thompsona: symbol, konkatenacja, suma, gwiazdka Kleenego
stan początkowy DFA = ε-closure(NFA stan początkowy)
δ(S,c) = ε-closure({q : p ∈ S oraz p —c→ q})
Podzbiór akceptuje wtedy i tylko wtedy, gdy zawiera stan akceptujący automatu NFA
