EJERCICIO 2

Disee Una MT que se comporte como reconocedor que reconozca el lenguaje L ={an b n ;
n >= 1} (NO incluye o NO acepta la cadena ). El alfabeto de la cinta es debe ser diferente
al alfabeto de entrada. Es decir, el alfabeto de entrada es a y el de la cinta 1 con sus
respectivos smbolos blanco si es que los necesita en su diseo
1. Identifique los componentes de la Mquina de Turing (descrbala).

M = { Q,

M ={Q , , , , q 0 , qF } ,

Q=q 0 , q1 , q2 , q3, q 4

Conjunto de estados

{a , b }

Alfabeto de entrada

={X , Y , B }

Alfabeto de la cinta

q 0=q 0

Estado inicial

qF={q4 }

Estado final o halt o aceptador (T)

Donde la funcin nos dice :Q{ qF } x Q x x {i, d , n}

( q0 , a )= ( q1 , X , D ) ( q 1 , a ) =( q 1 , a , D )
( q1 ,Y ) =( q 1 , Y , D ) ( q 1 , b ) =( q 2 ,Y , I )
( q2 , a )=( q2 , a , I ) ( q2 ,Y )=( q 2 ,Y , I )
( q2 , X )=( q0 , X , D ) ( q 0 , Y ) =( q3 , Y , D )
( q3 ,Y )=( q 3 ,Y , D ) ( q 3 , B ) =( q 4 , B , D )

2. Disela en un Diagrama de Moore.

y es definida as:

3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en
la cinta como en la secuencia de entrada.
Recorrido = =aaabbb con n=3

En la cadena muestra su aceptacin, realizaremos un paso a paso donde se pueda identificar

de forma correcta su proceso.

El proceso se inicia en el estado

q 0 , el cabezal se encuentra en la primera a de la

cadena, la transicin a realizar es la siguiente

( q0 , a )= ( q1 , X , D )

y determina el

reemplazo de a por una X, el cabezal se debe desplazar hacia la derecha y

necesariamente se pasa al estado q1, como se va a apreciar en la siguiente grfica.

Estando ahora en el estado q1, el desplazamiento hacia la derecha del cabezal lo ha situado
en la siguiente letra a. La nueva transicin es

( q1 , a )=( q1 , a , D ) y determina que se

reemplace la a por otra a, que se realice un desplazamiento hacia la derecha

nuevamente y que permanezca en el mismo estado q1 . Aqu hay, de hecho, un ciclo.
Podemos apreciar el movimiento de posicionamiento de la franja roja en el cuadro
pequeo.

La siguiente transicin es

( q1 , a )=( q1 , a , D ) , significa que estando en

q1

y con el

cabezal en la letra a, se coloca en esta posicin una letra a, se desplaza el cabezal hacia
la derecha y por ser un ciclo se permanece en el estado q1 . El cabezal se ubicar en una
letra b como se aprecia en la siguiente grfica.

Al estar en cabezal ubicado en la letra b, la nueva transicin a utilizar es la siguiente:

( q1 ,b )=( q2 ,Y , I ) . Aqu se reemplaza la b por una Y, el cabezal se desplaza hacia la
izquierda y necesariamente se cambia al estado q 2 . El cabezal ha quedado apuntando a
la letra a.

Estando ahora en el estado q2 y con el cabezal apuntando a la letra a, la transicin a

utilizar es la siguiente ( q2 , a )=( q2 , a , I ) , se reemplaza la a por otra a, se desplaza el
cabezal una posicin hacia la izquierda y se mantiene en el estado q 2 . De hecho, es un
ciclo en el estado q 2 . El cabezal pasar a apuntar sobre otra letra a, lo que
necesariamente obliga a utilizar nuevamente la misma transicin.

Utilizamos la transicin requerida

mantendr
en el mismo estado

( q2 , a )=( q2 , a , I ) . La nueva transicin nos

q 2 , pero el cabezal se situar ms a la izquierda, exactamente sobre

la
letra X, como se aprecia en la siguiente figura.

En estas condiciones la transicin a realizar es la siguiente ( q2 , X )=( q0 , X , D ) , la X

ser reemplazada por otra X, el cabezal se mueve una posicin hacia la derecha y
obligatoriamente se pasar al estado q 0 . El cabezal quedar ubicado nuevamente
apuntando
hacia una letra a.

Estando en

q0

y con el cabezal apuntando a una letra a, se debe aplicar la transicin

( q0 , a )= ( q1 , X , D ) . La letra a se reemplaza por una X, el cabezal se desplaza a la

derecha y se cambia la posicin del estado a

q1 . El movimiento se aprecia en la

siguiente grfica.

Estando en el estado
siguiente

q1

y el cabezal leyendo una a, la transicin a realizar es la

( q0 , a )= ( q1 , a , D ) , se reemplaza la a por otra a, se desplaza el cabezal

una posicin hacia la derecha y se mantiene el estado q1 . Ahora la posicin del cabezal
est sobre la letra Y y en el estado q1 , como se aprecia en la siguiente grfica.

Se realiza la siguiente transaccin ( q1 ,Y ) =( q 1 , Y , D ) , se cambia la Y por otra Y, el

cabezal se desplaza a la derecha y se contina en el estado

q1 . Ahora el cabezal apunta

hacia la letra b como se aprecia en la siguiente grfica.

Siguiente transaccin

( q1 ,b )=( q2 ,Y , I ) , la letra b es reemplazada por una Y, el

cabezal se desplaza a la izquierda y adems se cambia al estado

q 2 . El cabezal queda

apuntando hacia la anterior letra Y. Lo cual se aprecia en la siguiente grfica.