UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO 3

AUTOMATAS Y LENGUAJES FORMALES

JENNIFFER FARLEY PRADA PEALOSA

CODIGO 1069726744

EMAIL:jennifp02@gmail.com

TUTOR VIRTUAL

JAIME JOSE VALDES

GRUPO 301405-17

UNIVERSIDAD NACIONALA BIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BASICAS TECNOLOGIAS E INGENIERIAS
CERES GARAGOA
2014.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
INTRODUCCION

El siguiente trabajo de Autmatas y lenguajes formales es un curso de carcter terico, que se inscribe en el
campo de formacin profesional bsico del Programa de Ingeniera de Sistemas con un valor acadmico de
tres crditos y est orientado en el contenido del mdulo autmatas y lenguajes formales orientndonos al
sobre conceptos, herramientas tericas y prcticas para el desempeo profesional. Estos conocimientos
representan una actividad de racionalizacin del entorno acadmico y profesional fomentando el desarrollo
intelectual.

.Los lenguajes independientes del contexto que tambin se conocen con el nombre de gramticas de
contexto libre son un mtodo recursivo sencillo de especificacin de reglas gramaticales con las que se
pueden generar cadenas de un lenguaje.

Es factible producir de esta manera todos los lenguajes regulares, adems de que existen ejemplos
sencillos de gramticas de contexto libre que generan lenguajes no regulares. Las reglas gramaticales de
este tipo permiten que la sintaxis tenga variedad y refinamientos mayores que los realizados con lenguajes
regulares, en gran medida sirven para especificar la sintaxis de lenguajes de alto nivel y otros lenguajes
formales.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

EJERCICIOS A DESARROLLAR

EJERCICIO 1: Disee una MT con los smbolos de la cinta x, y y que se detenga si y solo si
reconoce la cadena xyxy.

1. Identifique los componentes de la Mquina de Turing (descrbala).

Una MT es un sptuplo (K, , , , s) en donde:

K Conjunto de estados tal que h K K = {o0, o1, o2, o3, o4}

Alfabeto de entrada donde = {x, y}

Alfabeto de la cinta, donde y = {0,1}

S K Es el estado inicial s = o0

T K Es el estado final f = o4

B Es el smbolo blanco (el smbolo B no B=

puede hacer parte de ) aparece en todas las
casillas excepto en aquellas que contienen los
smbolos de entrada.
: (K {h} x ) K x ( U { L,R } ) : {00, x} = {00, x, L}
: {00, x} = {01, 0, R}
: {01, y} = {02, 1, R}
: {02, x} = {03, 0, R}
: {03, y} = {04, 1, R}
: {00, x} = {00, x, L}
: {01, x} = {00, x, L}
: {02, y} = {00, y, L}
: {03, x} = {02, x, L}

2. Disela en un Diagrama de Moore

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

3. Recorra la mquina con al menos una cadena vlida.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

4. Identifique una cadena que no sea vlida y justifquela porque.

La cadena no es vlida ya que al ser leda termina cayendo en un ciclo donde solo
va leer espacio en blanco y por tal no podr continuar.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

5. Ejecute el Run Test a la cadena aceptada (mustrela en la captura de imagen para el

trabajo)

6. Identifique en qu momento la mquina se detiene

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

JERCICIO 2. Tomando como referencia la aplicabilidad de las mquinas de estados, la Teora de

la Informacin trata una de las tcnicas de deteccin y correccin de errores, por los teoremas de
Trellis y Viterbi con cdigos convolucionales para canales con ruido.

Se obtiene el sguete dato codificado correcto: (Como se muestra en el diagrama deTrellis),

1. Determine cul fue el dato de entrada.

2. Determine los estados presentes: (represente la mquina de estados) del Cdigo

convolucional para k=1 , m= 3, n=2 para cada estado (grfico y pase para cada
interaccin)

Dato entrada: 0 Dato entrada: 1 Dato entrada: 1 Dato entrada: 1

Dato codificado: 00 Dato codificado: 11 Dato codificado: 10 Dato codificado: 01
Estado presente: Estado presente: Estado presente: Estado presente:
00 10 11 11

Dato entrada: 0 Dato de entrada: 0 Dato de entrada: 0 Dato de entrada: 1

Dato codificado: 10 Dato codificado: 11 Dato codificado: 01 Dato codificado: 00
Estado presente: Estado presente: Estado presente: Estado presente:
01 00 10 01
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

El diagrama de estados podr presentarse como

2, estado posible e

2 =2 =2 =2=

3. Determine las entradas codificadas:

K 8 7 6 5 4 3 2 1
Dato
0 1 0 0 0 1 0 1
Estado
present 01 10 00 00 01 10 01 10
e
Dato
codifica 01 11 00 11 01 00 01 11
do

4. Realice el diagraman de rbol

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

5. Realice el diagrama general de estados con los estados por los que la ruta pasa e
intervienen.

6. Asuma que hubo error en dos de los datos (con distancia de haming de 1). Ud elige los
datos que desee.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

7. Realice el diagrama de Trellis y Viterbi corrigiendo el dato (ruta correcta).

Pare ello debe mostrar la ruta correcta identificando las distancias de haming
y la seleccin dada para seguir la ruta.
Se sugiere presentar los resultados tambin en la tabla de datos y estados.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

CONCLUSIONES

Este trabajo nos sirvi para entender un poco las aplicaciones grficos, tablas y
diagramas que tienen las autmatas de lenguajes formales en la ingeniera
primordialmente. Estas temticas son muy importantes para nuestra carrera
profesional y para el desarrollo de las diferentes actividades de nuestra vida y en la
sociedad y as es una herramienta muy til.

Esto no quiere decir que slo con la realizacin de este trabajo, sea entendible el
amplio campo que abarcan los autmatas y lenguajes formarles sino con la
prctica constante y minuciosa de cada caso y temas vistos.