Simulador de máquina de estados finitos (FSM) en línea

Simulación de transiciones deterministas

Este simulador procesa una tabla de transiciones determinista. Cada regla debe contener exactamente tres campos: estado actual, símbolo de entrada y estado siguiente. No hay estados de aceptación ni transiciones epsilon; la herramienta solo muestra la ruta de estados y el estado final.

Ejemplo práctico

Suponé las reglas:

q0,0,q0
q0,1,q1
q1,0,q0
q1,1,q1

Con estado inicial q0 y entrada 1011, la ruta es: q0 → q1 → q0 → q1 → q1 y el estado final es q1.

Parámetros y limitaciones

• Número de reglas: entre 1 y 200.
• Nombres de estado: no vacíos, hasta 50 unidades de código UTF-16.
• Símbolos de entrada: exactamente un punto de código Unicode.
• Cadena de entrada: hasta 10000 unidades de código UTF-16.
• No se permiten transiciones duplicadas para el mismo par estado-símbolo; se rechazan.
• No hay conversión a expresiones regulares, minimización ni diagramas.

Preguntas frecuentes

¿Qué ocurre si una transición no está definida?

La simulación se detiene en ese carácter y muestra un error general sin indicar la posición. Agregá la regla faltante o modificar la entrada.

¿Puedo usar símbolos como letras acentuadas o emojis?

Sí, cada símbolo debe ser un único punto de código Unicode. Por ejemplo, podés usar á o un carácter como U+1F600 (descrito en notación ASCII, pero el carácter real se puede ingresar si tu sistema lo permite).

¿Cómo sé si la máquina acepta la entrada?

Esta herramienta no decide aceptación; solo simula las transiciones y muestra el estado final. No hay campo de estados de aceptación.

Nota sobre privacidad

Todo el procesamiento se realiza en tu navegador; no se envían datos a servidores.

Lista de verificación

• Verificá que cada regla tenga tres campos separados por comas.
• Confirmá que el estado inicial esté definido.
• Probá con una entrada corta primero.
• Compará cada transición con la tabla de reglas.