EJEMPLO 4

Sea un AP capaz de reconocer el lenguaje: L = {tctr / siendo t = (a+b)+} donde Te={a, b, c} y tr es la

inversa de t.

FUNCIONAMIENTO: Ir apilando la tira t hasta que aparesca el símbolo c y entonces se va

comparando simbolo a símbolo el de entrada con el superior (o izquierda) de una pila, llegándose
a vacear la pila y la tira de entrada si es una sentencia de L.

Definir un AP y poner un ejemplo de reconocimiento de una cadena de lenguaje.

SOLUCION

Un autómata de pila se define por: AP ={Q, Te, Tp, δ, q0, Z0, F}

Donde: Q={q0,q1}, Te={a,b,c}, Tp={ Z0, a,b}, F={q1}

Funciones de transición:

δ (q0,a, Z0) →(q0,a Z0) … (1)

δ (q0, b, Z0) →(q0, bZ0) …(2)

δ (q0, a, a) → (q0, aa) …(3)

δ (q0, b, a) → (q0, ba) …(4)

δ (q0, a, b) → (q0, ab) …(5)

δ (q0, b, b) → ( q0, bb) … (6)

δ (q0, c, Z0) → (q1, Z0) … (7)

δ (q0, c, a) → (q1, a) … (8)

δ (q0, c, b) → (q1, b) …(9)

δ(q1, a, a ) → (q1,λ) ..(10)

δ(q1, b, b) → (q1, λ) … (11)

δ (q1, λ, Z0) → (q1, λ) … (12)

δ (q0, a, a Z0) → (q1, λ) …(13)

δ (q0, b, b) → (q1, λ) …(14)

Realizamos un reconocimiento: reconocer abacaba

(q0, abacaba, Z0) (1)→(qo,bacaba, aZ0 )(2) → (q0, acaba, baZ0)(1) →(q0,caba, abaZ0)(7) →(q1,
aba, abaZ0)(10) →(q1, ba, ba Z0)(11) →(q1, a, aZ0)(10) →(q1, λ, Z0)(12) →(q1, λ)

EJEMPLO 5

Sea un AP capaz de reconocer el lenguaje: L = {ttr / siendo t = (a+b)+} donde Te= {a, b} y tr es la
inversa de t.

FUNCIONAMIENTO: i apilando la tira t hasta que s eagote y entonces se va comaprando símbolo a

símbolo el de entrada con el superior (o izquierda) de la pila, llegándose a vacear la pila y la tira de
entrada si es una sentencia de L.

Definir un AP y poner un ejemplo de reconocimiento de una cadena de lenguaje.

Un autómata de pila se define por: AP ={Q, Te, Tp, δ, q0, Z0, F}

Donde: Q={q0,q1}, Te={a,b}, Tp={ Z0, a,b}, F={q1}

Funciones de transición:

δ (q0,a, Z0) →(q0,aZ0) … (1)

δ (q0,b, Z0) →(q0,bZ0) … (2)

δ (q0,a, a) →{(q0,aa), (q, λ)} … (3)

δ (q0,a, b) →(q0,ab) … (4)

δ (q0,b, a) →(q0,ba) … (5)

δ (q0,b, b) →{(q0, bb), (q1, λ)} … (6)

δ (q1,a, a) →(q1, λ) … (7)

δ (q1,b, b) →(q1, λ) … (8)

δ (q1, λ, Z0) →(q1, λ) … (9)

Realizamos un reconocimiento: reconocer abba

(q1, abba, Z0)(1) → (q0, bba, aZ0)(2) → (q0, ba, baZ0)(6) → (q1, a, aZ0)(3) → (q1, λ, Z0)(9) →(q1, λ)