Tutor de autómatas finitos, Mealy/Moore, Karnaugh y minimización

DSL de autómatas: states: q0 q1 …, start: q0, accept: q1, q2, alphabet: a b, una transición por línea origen símbolo destino (aristas ε como ε o eps); salida Mealy q0 a q1 / 1, salida Moore moore: q0:0 q1:1. La construcción por subconjuntos aplica ε-cierre; la minimización elimina primero los inalcanzables y luego refina particiones (trampa clásica); Mealy→Moore divide estados por salida entrante (≤ |Q|·|Δ|). Modo booleano: Quine-McCluskey combina vecinos (un bit, guiones alineados), el gráfico de implicanttes primos cubre solo el conjunto ON, y tras los esenciales se enumeran subconjuntos para la cobertura mínima exacta (Petrick equivalente). Casos de referencia verificados: (a|b)*abb → DFA de 5 estados, mínimo de 4; Σm(0,1,2,5,6,7,8,9,10,14) → B'C' + CD' + A'BD único óptimo.