Expresión → AFN
AFN → AFD
Minimizar
CYK
Enunciado
Símbolos de una letra o cifra; | unión, * cierre, + una o más, ? opcional, paréntesis y ε.
Cada trozo numera su inicial antes que sus hijos y su final después; al concatenar, el final del primero es el inicial del segundo (sin ε).Aho et al. §3.7.4 · Pisa PLP-05
Traza
N(a): dos estados, 2 y 3, unidos por «a».
Paso 1 de 7 N(a): dos estados, 2 y 3, unidos por «a».
La concatenación no es un paso: no crea estados, solo junta el final de un trozo con el inicio del siguiente.
AFN con 11 estados; inicial 0, final 10.
El hilo completo:el inversor CMOSla puerta lógicael programa en ensambladorel sistema operativolos autómatas (estás aquí)