Autómatas
Una transición por línea, ej. q0,0,q0 o q0 -0-> q0 o q0 0 -> q1. En un AFN puede haber varios destinos, escritos {q1,q2} o q1|q2; épsilon puede ser e, eps, epsilon, ε o @.
Tipo de autómata:
Formato de entrada:
Estado inicial:
Estados de aceptación:
Cadena de prueba:
Cadenas a probar:
Alfabeto:
Longitud máxima:
Traza:
Tabla de transiciones:
:
Separador:
Resultado del cálculo
Descargar CSV
| N.º | Resultado | Estado | Detalles |
|---|
Qué hace y cómo se usa
Pega una tabla de transiciones y simula tanto DFA como NFA; el resultado sale en tabla y en texto plano, listo para copiar o exportar a CSV.
Formatos admitidos por línea: q0,0,q0 (separado por comas), q0 -0-> q0 (estilo flecha) y q0 0 -> q1 (espacio y flecha).
En NFA los destinos múltiples se escriben con llaves o con barra vertical. El estado inicial es por defecto el origen de la primera transición; los finales se indican separados por comas. Los símbolos vacíos admitidos son épsilon, eps y @.
Formatos admitidos por línea: q0,0,q0 (separado por comas), q0 -0-> q0 (estilo flecha) y q0 0 -> q1 (espacio y flecha).
En NFA los destinos múltiples se escriben con llaves o con barra vertical. El estado inicial es por defecto el origen de la primera transición; los finales se indican separados por comas. Los símbolos vacíos admitidos son épsilon, eps y @.
Cómo se usa
- Pega las transiciones línea a línea en el cuadro.
- Elige el tipo de máquina y el formato, y rellena estado inicial, finales y cadena de prueba.
- Pulsa Ejecutar.
- Revisa la tabla de transiciones, la traza y el resultado de la prueba, y copia o exporta.
Muro de mensajes
Todos los mensajes →-
Nadie ha escrito aún. ¿Empiezas tú?