MOMENTO 3

CHARI PAREDES ARIAS

Sharipao1@hotmail.com

TUTOR: EDUARDO YAMID SOLANO

AUTÓMATAS Y LEGUAJES FORMALES

GRUPO 12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENICAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS
INGENIERÍA DE SISTEMA

CEAD VALLEDUPAR
JUNIO DE 2016
EJERCICIO 1

1.- Identifique los componentes de la Máquina de Turing (descríbala).

Una máquina de Turing (MT), M= (Q, q0, F, Σ, B, δ) consta de 7
componentes.

Una MT se define como una 7 –tupla.

1.- Q= Es el conjunto (finito) de estados

2.- q0= Q estado inicial
3.- F es el conjunto de estados finales o de aceptación,
4.- Σ es el alfabeto de entrada
5.- Es Γ el alfabeto de cintas que incluye a Σ, es decir, Σ
6.- B Γ es el símbolo “blanco” (el símbolo B no puede ser parte del

alfabeto de entrada Σ )
7.- δ es la función de transición de la maquina: δ: Q x Γ -→ Q x Γ x{ ←,→}

8.- δ es una función parcial, es decir, puede no estar definida en algunos

elementos del dominio. La flecha ← denota desplazamiento a izquierda
mientras que → denota desplazamiento a la derecha, la transición δ (q, a) =
(p, b, D) Significa estando en el estado q, escaneando el símbolo a, la unidad
de control borra a, escribe b y se mueve en el estado p, ya sea a la izquierda
(si el desplazamiento D es ←) o la derecha (si es D →)
2.- Diséñela en un Diagrama de Moore.
3.- Recorra la máquina con al menos una cadena válida explicando lo
sucedido tanto en la cinta como en la secuencia de entrada.
Iniciamos con la cadena q0 que es el estado inicial de la máquina, esta lee la
celda de la cinta, en q0, hace la transición en el mismo estado q0, luego
borra el símbolo, y pasa a la izquierda en q1, llegamos a q1, sigue la
transición en q1, representando así la salida.

4.- Identifique una cadena que no sea válida y justifíquela porque.

La cadena no es válida ya que no reconoce el símbolo de entrada (0) ya que

el símbolo 1 es el símbolo de entrada. El cual la cadena no es reconocida, y
no sigue el recorrido.

5.- Ejecute el RunTest a una cadena aceptada que tenga al menos cinco
símbolos
6.- Identifique en que momento la máquina se detiene.

7.- Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.

Es una MT ya que actúa como un transductor modificando el contenido de la

cinta realizando ciertas funciones y es capaz de reconocer un lenguaje L (1)
* y capaz de aceptar ese lenguaje.

EJERCICIO 2

Diseñe un Transductor (MAQUINA DE MEALY) que realice la misma

transducción del ejercicio anterior.

1.- Identifique los componentes de la Máquina (descríbala).

  Una cinta que se divide en celdas, una al lado de la otra. Cada celda
contiene un símbolo de algún alfabeto finito. El alfabeto contiene un
símbolo especial llamado blanco (aquí escrito como 'B') y uno o más
símbolos adicionales. La cinta se supone que es arbitrariamente
extensible hacia la izquierda y hacia la derecha, es decir, la máquina
de Turing siempre es suministrada con tanta cinta como necesite para
su computación. Las celdas que no se hayan escrito previamente se
asumen que
están rellenas
con el símbolo
blanco.
 Un
cabezal que
puede leer y
escribir
símbolos en la
cinta y mover la cinta a la izquierda y a la derecha una (y sólo una)
celda a la vez. En algunos modelos el cabezal se mueve y la cinta es
estacionaria.
 Un registro de estado que almacena el estado de la máquina de
Turing, uno de los estados finitos. Hay un estado inicial especial con el
que el registro de estado se inicia. Turing escribe que estos estados
reemplazan el "estado de la mente" en que ordinariamente estaría una
persona realizando cálculos.
 Una tabla finita de instrucciones (llamada ocasionalmente como tabla
de acción o función de transición).

2.- Diséñela en diagrama (Máquina de Mealy).

3.- Recorra la máquina con al menos una cadena válida explicando lo
sucedido tanto en la cinta como en la secuencia de entrada.

4.- Identifique una

cadena que no
sea válida y
justifíquela
porque.

La cadena no es válida ya que no estamos utilizando el símbolo (0) en la

cinta.
5.- Ejecute el RunTest a una cadena aceptada que tenga al menos tres
símbolos.

6.- Identifique en que momento la máquina se detiene.

7.- Explique cinco características de la Máquina de Mealy y encuentre cinco
diferencias con las Máquinas de Turing (MT).

Máquina de Turing:

 La salida se produce por sus estados.

  Tiene estado final.
 Envía una transición de estado.
 Una máquina Moore produce una salida cuando se encuentra en un
estado.
 Tiene una entrada.

Máquina Mealy:

 La salida se produce por sus transiciones.

 No tiene estado final.
 Envía una transición de entrada y una de salida.
 Produce una salida cada vez que realiza una transición.
 Tiene doble entrada.

EJERCICIO 3

Diseñe Una MT que se comporte como transductor que reconozca el lenguaje

L = {1}* (NO incluye o NO acepta la cadena λ). La transducción (salida)
debe ser que por cada símbolo que entre duplique el símbolo del alfabeto de
la cinta: Ejemplo: para la cadena (11) la salida será (1111). El alfabeto de la
cinta es debe ser diferente al alfabeto de entrada. Es decir el alfabeto de
entrada es “1” y el de la cinta “0” con sus respectivos símbolos blanco si es
que los necesita en su diseño.

Diseñe Una MT identificando las condiciones propias del ejercicio

1.- Identifique los componentes de la Máquina de Turing (descríbala).

 Cinta: la cinta está compuesta por varias celdas, en las cuales se

almacenan símbolos de entrada, que son las palabras a evaluar o
reconocer por el autómata. Esta cinta es finita a la izquierda, es decir
tiene un tope y es longitud infinita hacia la derecha, llenándose las
celdas no ocupadas con caracteres vacíos.
 Cabezal: en estas máquinas el cabezal es de lectura y escritura, o sea
que se mueve bidireccionalmente leyendo y escribiendo en la cinta, el
cabezal puede pasar varias veces por el mismo segmento de cinta,
modificando la cinta en el curso de ejecución.
 Control Finito: está compuesto por un conjunto de reglas y
producciones por la función de transición, además se determinan una
serie de estados que cambian el comportamiento del autómata.

Una MT es un séptuplo (K, Σ, Γ, δ, s) en donde:

K= es el conjunto de estados tal que h∈K;

2.- Diséñela en un Diagrama de Moore.

3.- Recorra la máquina con al menos una cadena válida explicando lo
sucedido tanto en la cinta como en la secuencia de entrada.
 Para esta cinta entramos con una secuencia de (a) el cual al recorrer
la maquina duplicándola hasta llegar al momento de salida de esta
secuencia en q1 con (aa).

4.- Identifique una cadena que no sea válida y justifíquela porque.

La cadena (b) no es válida ya que el alfabeto de entrada es (a) por este
motivo la cadena (b) no es válida.

5.- Ejecute el RunTest a una cadena aceptada que tenga al menos cinco
símbolos.
6.- Identifique en que momento la máquina se detiene.