Máquina de estados finita determinística [autômato finito determinístico AFD = (K, Σ, s, F, δ)]


Conversor de autômato finito não determinístico (AFND) para AFD