Facultad de Ingeniería

Teoría de Autómatas y
Lenguajes Formales
Máquinas de Turing pt. 2
Profesor Guía: Alexander Espina-Leyton al.espina@uandresbello.edu

Nicolás Enrique Hormazábal Santibañez nic.hormazabal@uandresbello.edu

Fecha: 18-11-2020 1
Contenido

2
Tabla de contenidos
● Teorema del Bombeo
● Ejercicios

3
Teorema del
Bombeo

4
Teorema del Bombeo
Teorema. Sea L un Lenguaje Libre del Contexto. Entonces existe un
número N > 0 tal que toda cadena 𝓌 ∈ L de largo |𝓌| ≥ N se puede
escribir como 𝓌 = 𝓍𝑢𝓎𝑣𝓏 de modo que 𝑢𝑣 ≠ 𝜀, |𝑢𝓎𝑣| ≤ N, y ∀ 𝓃 ≥ 0,
𝓍𝑢𝓃𝓎𝑣𝓃𝓏 ∈ L

Demostrar que los siguientes lenguajes no son LLC:

L1 = {anbncn, n ≥ 0}
L2 = {𝓌𝓌, 𝓌 {a, b}*}

5
 Teorema del Bombeo
Demostrar que el siguiente lenguajes no son LLC: N>0
L1 = {anbncn, n ≥ 0} |𝓌| ≥ N
𝓌 = 𝓍𝑢𝓎𝑣𝓏
𝑢𝑣 ≠ 𝜀, |𝑢𝓎𝑣| ≤ N
∀ 𝓃 ≥ 0, 𝓍𝑢𝓃𝓎𝑣𝓃𝓏 ∈ L
Cualquier letra ‘a’ está separada a lo menos por N+1 de cualquier letra c. Entonces sabemos que 𝑢𝓎𝑣 no
puede contener ab y c’s, ni a’s y bc. Ya que la última a y la primera c están separadas por más del largo
permitido para |𝑢𝓎𝑣|.
1.- uyv no contiene ningún c. Entonces uv consta sólo de a’s y b’s, y tiene al menos uno de estos
símbolos. Entonces xyz, que tendría que estar en L por el T. del Bombeo, contiene N bc’s, pero tiene
menos de N a’s o menos de N b’s, o ambas cosas. Por lo tanto, no pertenece a L y concluimos que L no es
un LLC en este caso.
2.- uyv no contiene ningún a. De forma similar, xyz tienen N a’s pero menos a’s o menos bc’s.
Por lo tanto no pertence a L. 6
Lemas LLC

7
Ejercicios

8
 9

Facultad de Ingeniería
Ejercicio:
Multiplicación de una Máquina de Turing

#II$III$ → #II$III$IIIIII
 10

Facultad de Ingeniería
Ejercicio:
Calcule el complemento de un número binario

#001100 → #110011

#111100 → #000011

#1000 → #0111
 11

Facultad de Ingeniería
Ejercicio:
Calcular la paridad de un número binario. Es decir, si el
número de 1’s de la cadena es par, se añade un 0 al final, y
si es impar, se añade un 1

#11 → #110

#111 → #1111

#1010 → #10100
Anexos

12
PDA 2 Stacks
Un autómata de dos pilas, tiene exactamente el mismo poder cómputo de un autómata de 3 pilas, 4
pilas, etc. Ese poder de cómputo es el mismo de una máquina de Turing.

La tupla de un PDA de dos pilas:

P = (Q, Σ, Γ1,Γ2, Δ, s, F)
○ Δ ⊆ (Q x Σ* x Γ1* x Γ2*) x (Q x Γ1* x Γ2*), conjunto finito
de transiciones.

Diseñe un PDA de 2 pilas para el lenguaje formado por:

anbncn
13
 14

Facultad de Ingeniería
Fuentes
➢ Ponencias Curso Carlos Rey Barra
➢ Ponencias Curso Carlos Gómez-Pantoja
➢ J. Hopcroft, R. Motwani, J. Ullman. (2001).
Introduction to Automata Theory, Languages,
and Computation. Pearson Education.
➢ https://www.youtube.com/channel/UCXXF51JG
HlD5UN9IYxNEUCw
 Facultad de Ingeniería

Teoría de Autómatas y
Lenguajes Formales
Máquinas de Turing pt. 2
Profesor Guía: Alexander Espina-Leyton al.espina@uandresbello.edu

Nicolás Enrique Hormazábal Santibañez nic.hormazabal@uandresbello.edu

Fecha: 18-11-2020 15