EJERCICIO A

TRABAJAR

Caracterizació Definición formal del autómata de pila (AP) es:

n del autómata
a pila Q= { q 0 , q 1 } ; ∑ ¿ { a , b } ; Γ = {a } ; F={q 1}

la transición se define como:

f ( q 0 , a , λ )= ( q 0 , a )
f ( q 0 , b , a )= ( q 1 , λ )
f ( q 1, b , a )=( q 1 , λ )

AP por vaciado de pila AP por estado final

La cadena de entrada es La cadena de entrada es
válida si la memoria es válida si se termina en el
vaciada. estado final.
Procedimiento
de paso a paso
del recorrido Gráfico
de una cadena

Para el desarrollo del ejercicio definimos la siguiente cadena de entrada de 8

caracteres: aaaaabbb

Paso 1: cuando el autómata se encuentra en el estado q 0, lee el símbolo de

entrada ay tiene el símbolo a en la cima de la pila.

a a a a a b b b

f ( q 0 , a , λ )= ( q 0 , a )

a
Z

Paso 2: cuando el autómata se encuentra en el estado q 0, lee el símbolo de

entrada ay tiene el símbolo a en la cima de la pila.
a a a a a b b b

f ( q 0 , a , λ )= ( q 0 , a )

a
a
Z

Paso 3: cuando el autómata se encuentra en el estado q 0, lee el símbolo de

entrada ay tiene el símbolo a en la cima de la pila.
a a a a a b b b

f ( q 0 , a , λ )= ( q 0 , a )

a
a
a
Z

Paso 4: cuando el autómata se encuentra en el estado q 0, lee el símbolo de

entrada ay tiene el símbolo a en la cima de la pila.
 a a a a a b b b

f ( q 0 , a , λ )= ( q 0 , a )

a
a
a
a
Z

Paso 5: cuando el autómata se encuentra en el estado q 0, lee el símbolo de

entrada ay tiene el símbolo a en la cima de la pila.
a a a a a b b b

f ( q 0 , a , λ )= ( q 0 , a )

a
a
a
a
a
Z

Paso 6: Cuando el AP está en el estado q 0 y lee unabquita de la pila una ay

pasa al siguiente estado.
a a a a a b b b
f ( q 0 , b , a )= ( q 1 , λ )

a
a
a
a
Z

Paso 7: Cuando el AP está en el estado q 1 y lee unabquita de la sima de la

pila una a.
a a a a a b b b

f ( q 1, b , a )=( q 1 , λ )

a
a
a
Z

Paso 8: Cuando el AP está en el estado q 0 y lee unabquita de la sima de la

pila una a.
a a a a a b b b
 f ( q 0 , b , a )= ( q 1 , λ )

a
a
Z

Cuando el AP llega al final de la cadena de caracteres la información

de la pila queda aaZ

Se realiza la comprobación de la cadena.

Practicar y Simulacion en JFLAP:

verificar lo
aprendido

Lenguaje {a n . bn } donde n>=1

regular
Ejercicios 2: Gramática del autómata
Para la gramática del autómata encontramos unas reglas que
cumplan con el lenguaje {an .b n } donde n≥1 por lo cual nos queda.
S→aS B
S→λ
B→ b

La gramática G=(V T , V N , S , P) teniendo en cuenta esta regla serian:

G={(B , S)( a , b), S , P }

La derivación seria:
S →0 SB
S → ab→ aabb → aaabbb → aaaabbbb→ …