TECNOLOGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Mexicali

CARRERA:

INEGNIERIA EN SISTEMAS COMPUTACIONALES.

MATERIA:

Lenguajes y Autómatas I
TEMA:

Reporte MT reconocedora Sea el lenguaje L = {an b n | n ≥ 1}.

ALUMNO:

NO. DE CONTROL:

17490425
PROFESOR:

MAXICALI BAJA CALIFORNIA A 25 DE MAYO DEL 2020

 Reporte de Practica.
Descripción Máquina de Turing reconocedora Sea el lenguaje L = {an b n | n ≥
1}. Es decir, L tiene infinitas cadenas de la forma ab, aabb, aaabbb, … Se va a
construir una MT M que acepta L, o en otras palabras, tal que L(M) = L. En este
caso, el lenguaje L representa directamente un problema de reconocimiento de las
cadenas de un lenguaje. 

Idea general. 

Por cada símbolo a que lee, la MT M lo reemplaza por el símbolo α y va a la

derecha hasta encontrar el primer símbolo b. Cuando lo detecta, lo reemplaza por
el símbolo β y vuelve a la izquierda para repetir el proceso a partir del símbolo a
que está inmediatamente a la derecha de la a anterior. Si al final del proceso no
quedan símbolos por reemplazar, la MT M se detiene en un estado de F, porque
significa que la entrada tiene la forma an b n , con n  1. En caso contrario, M se
detiene en un estado de (Q – F). Construcción de la MT M. La MT M = (Q, Ʃ, Γ, δ,
q0, F) es tal que:

• Q = {qa, qb, qL, qH, qF}. El estado qa es el estado en que M busca una a. El estado
qb es el estado en que M busca una b. El estado qL es el estado en que M vuelve a
la izquierda para procesar la siguiente a. El estado qH es el estado en que M
detecta que no hay más símbolos a.

 El estado qF es el estado final.

 • Ʃ = {a, b} 

• Γ = {a, b, α, β, B} 

• q0 = qa 

• F = {qF} 
Diagrama

Tabla de transiciones.
Estados Símbolo
a b α β B
Q0 Q1, α,R -- -- Q3, β,R --
Q1 Q1,a,R Q2, β,L -- Q1, β,R --
Q2 Q2,aL -- Q0, α,R Q2, β,L --
Q3 -- -- -- Q3, β,R Q4,vacio,S
Q4 -- -- -- -- --
Ejemplos de entrada.

1.- “ab”

2.- “aabb”
3.- “aaabbb”