Simulación Interactiva: Gramática y Máquina de Turing

Derivación de Cadena Numérica

Gramática Refinada para Cadenas Numéricas:

#Producción
1Numero → Signo NumeroSinSigno
2Signo → '−'
3Signo → λ
4NumeroSinSigno → DigitoNoCero Digitos
5NumeroSinSigno → '0'
6Digitos → Digito Digitos
7Digitos → λ
8Digito → '0'
9Digito → DigitoNoCero
10DigitoNoCero → '1'
11DigitoNoCero → '2'
12DigitoNoCero → '3'
13DigitoNoCero → '4'
14DigitoNoCero → '5'
15DigitoNoCero → '6'
16DigitoNoCero → '7'
17DigitoNoCero → '8'
18DigitoNoCero → '9'

    Simulación de Máquina de Turing

    MT que decide cadenas numéricas según la gramática anterior.

    Leyenda de Estados y Movimientos

    • Lee el posible signo - o primer dígito.
    • Si encuentra - pasa a q1; si 0 a q6; si 1–9 a q2.
    • Movimiento R (derecha) siempre.

    • Lee el primer dígito tras el signo.
    • Si es 0 va a q6 (único cero); si 1–9 a q2.
    • Movimiento R (derecha).

    • Sigue consumiendo dígitos 0–9.
    • Cuando lee blanco B pasa a qacepta.
    • Movimiento siempre R.

    • qacepta: la MT terminó y acepta la cadena.
    • qrechaza: si no hay transición válida, la MT rechaza.
    PasoEstadoLeeEscribeMov.Nuevo Estado