APD

Problemas de Autómatas de Pila

Plantea una máquina de pila determinista, carga una cadena y revisa la traza completa de la simulación.

Configuración del APD

Transiciones

Formato: estado, entrada, tope -> nuevo_estado, reemplazo. Usa ε para transiciones sin consumir entrada o para quitar solo el tope.

Entrada consume un símbolo o ε Reemplazo permite símbolos de pila de 1 o 2 caracteres

Resolver problema

Resultado

{{ resultado.mensaje }}

Configuraciones evaluadas: {{ resultado.traza.length }}

Traza Estado · Entrada restante · Pila
La traza aparecerá aquí cuando resuelvas una cadena.
Paso Estado Entrada Pila
{{ index }} {{ paso.estado }} {{ paso.entradaRestante }} {{ paso.pila }}
Transición aplicada
{{ resultado.transicionAplicada || 'Sin transición todavía' }}

Diagrama de transiciones del APD

Inicial Final

Prepara un problema para ver el diagrama de transiciones.