Preguntas etiquetadas con minimization

Un autómata Xor no determinista (NXA) es sintácticamente un NFA, pero se dice que NXA acepta una palabra si tiene un número impar de rutas de aceptación (en lugar de al menos una ruta de aceptación en el caso de NFA). Es fácil ver que para un lenguaje regular finito , existe un NFA mínimo que no...

Los autómatas de estado finito residual (RFSA, definidos en [DLT02]) son NFA que tienen algunas características agradables en común con los DFA. En particular, siempre hay un RFSA canónico de tamaño mínimo para cada idioma regular, y el idioma reconocido por cada estado en el RFSA es residual, al...

El algoritmo de Brzozowski para convertir un DFA en un DFA de estado mínimo equivalente es notablemente simple: si denota el NFA formado al invertir todos los bordes en un DFA , haciendo que el estado inicial anterior sea un estado de aceptación, y haciendo que el anterior acepte estados comienzan...