Math
Autómatas finitos
Convierte expresiones regulares en autómatas y lee una secuencia de entrada.
Qué probar
Edita una expresión regular sobre a y b usando |, *, paréntesis y concatenación. Un NFA de Thompson se convierte en subconjuntos alcanzables de un DFA. Lee la palabra letra a letra; los círculos dobles aceptan. Límite: 16 estados del DFA.
Ecuaciones del módulo
Ecuaciones
Construcción de Thompson: símbolo, concatenación, unión, estrella de Kleene
inicio del DFA = ε-closure(NFA inicial)
δ(S,c) = ε-closure({q : p ∈ S y p —c→ q})
Un subconjunto acepta si y solo si contiene el estado de aceptación del NFA
