Download - LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD · Escuela Técnica Superior de Ingenieros Informáticos (UPM) LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD FINAL - 2ª EVALUACIÓN

Transcript
Page 1: LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD · Escuela Técnica Superior de Ingenieros Informáticos (UPM) LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD FINAL - 2ª EVALUACIÓN
Page 2: LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD · Escuela Técnica Superior de Ingenieros Informáticos (UPM) LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD FINAL - 2ª EVALUACIÓN
Page 3: LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD · Escuela Técnica Superior de Ingenieros Informáticos (UPM) LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD FINAL - 2ª EVALUACIÓN

Escuela Técnica Superior de Ingenieros Informáticos (UPM) LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD

FINAL - 2ª EVALUACIÓN (19 de enero de 2017)

Apellidos: SOLUCION Nombre:

Ejercicio 1: Sea el Autómata a Pila no-determinista, AP1 = { Σ , Γ , Q , q0 , A0 , f , ∅ } que acepta por VACIADO DE PILA, con Q = { q0 , q1 }, Σ = { 0 , 1 }, Γ = { A0 , A } y f definida mediante los 5 movimientos siguientes:

f ( q0 , 0 , A0) = ( q0 , AA0)

f ( q0 , 0 , A ) = { ( q0 , AA ) , ( q0 , A ) }

f ( q0 , 1 , A ) = ( q1 , λ )

f ( q1 , 1 , A ) = ( q1 , λ )

f ( q1 , λ , A0) = ( q1 , λ )

a) Construir, utilizando el algoritmo correspondiente, un AP2 que acepte por ESTADOS FINALES el mismo lenguaje que AP1. Siendo AP2 = { Σ , Γ ∪ { A0´ } , Q ∪ { q0´ , qF } , q0´ , A0´ , f ́ , F }, donde F = { qF } (7 puntos).

b) Comprobad la aceptación de las palabras 0011 y 00001 en los 2 autómatas (2 puntos). c) Describe el lenguaje que aceptan AP1 y AP2 (1 punto).

25 minutos a) El AP2 que acepta por ESTADOS FINALES:

f ´( q0´,λ, A0´) = ( q0, A0A0´) => 1º PASO

f ´( q0 , 0 , A0) = ( q0 , AA0)

f ´( q0 , 0 , A ) = { ( q0 , AA ) , ( q0 , A ) }

f ´( q0 , 1 , A ) = ( q1 , λ ) => 2º PASO

f ´( q1 , 1 , A ) = ( q1 , λ )

f ´( q1 , λ , A0) = ( q1 , λ )

f ´( q1 , λ , A0´) = ( qF , λ ) => 3º PASO

b) Aceptación AP1 y AP2:

Aceptación AP1 Palabra 0011: [q0 0011 A0] ⊢ [q0 011 AA0] ⊢ [q0 11 AAA0] ⊢ [q1 1 AA0] ⊢ [q1 λ A0] ⊢ [q1 λ λ ] ACEPTA (vacía totalmente la pila) Palabra 00001: [q0 00001 A0] ⊢ [q0 0001 AA0] ⊢ [q0 001 AA0] ⊢ [q0 01 AA0] ⊢ [q0 1 AA0] ⊢ [q1 λ A0] ⊢ [q1 λ λ ] ACEPTA (vacía totalmente la pila)

Aceptación AP2: Palabra 0011: [q0´ 0011 A0´] ⊢ [q0 0011 A0A0´] ⊢ [q0 011 AA0A0´] ⊢ [q0 11 AAA0A0´] ⊢ [q1 1 AA0A0´] ⊢

[q1 λ A0A0´] ⊢ [q1 λ A0´] ⊢ [qF λ λ ] ACEPTA (alcanza estado final qF)

Palabra 00001: [q0´ 00001 A0´] ⊢ [q0 00001 A0A0´] ⊢ [q0 0001 AA0A0´] ⊢ [q0 001 AA0A0´] ⊢ [q0 01 AA0A0´]

⊢ [q0 1 AA0A0´] ⊢ [q1 λ A0A0´] ⊢ [q1 λ A0´] ⊢ [qF λ λ ] ACEPTA (alcanza estado final qF)

c) El lenguaje que aceptan AP1 y AP2 es:

L = { 0n1m / n ≥ m ≥ 1 }

Page 4: LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD · Escuela Técnica Superior de Ingenieros Informáticos (UPM) LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD FINAL - 2ª EVALUACIÓN
Page 5: LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD · Escuela Técnica Superior de Ingenieros Informáticos (UPM) LENGUAJES FORMALES, AUTÓMATAS Y COMPUTABILIDAD FINAL - 2ª EVALUACIÓN