Trabajo Colaborativo 1

Autómatas y Lenguajes Formales –

301405

Autómatas y Lenguajes Formales

TRABAJO COLABORATIVO 1

AUTÓMATAS Y LENGUAJES FORMALES

JEFERSSON SILVA LOSADA

Silva9332@hotmail.com

Cod.1083874432

MAURICIO OCAMPO VELASQUEZ

OSCAR IVAN ALVAREZ

Imoscar_alvarez@hotmail.com

Cod. 1.102.843.925

JESUS EMIRO VEGA

Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

UNIDAD DE CIENCIAS BÁSICAS

CEAD PITALITO, 2013

Autómatas y Lenguajes Formales

INTRODUCCION

Los lenguajes pueden describirse como elementos que se generan, como cadenas

a partir de cadenas sencillas, con el uso de operaciones de cadenas o el

desarrollo del lenguaje mismo, que se puede generar con otros lenguajes más

sencillos mediante operaciones de conjuntos.

Los Lenguajes más sencillos son los considerados lenguajes regulares, es decir,

los que se pueden generar a partir de lenguajes de un elemento con la aplicación

de ciertas operaciones estándar realizadas un número finito de veces.

Estos son pues los lenguajes que pueden reconocer los dispositivos llamados

Autómatas finitos (AF) que son máquinas de cómputo con memoria muy

restringida. En esta unidad se considera como segundo aspecto la idea de que un

lenguaje no sea regular, además de proporcionar un modelo sencillo de

computación que se puede generalizar en las unidades siguientes.

Con las caracterizaciones anteriores y otras de los lenguajes regulares se

obtienen y estudian algoritmos para traducir una descripción de un lenguaje a otra

descripción de un tipo distinto; se acumula experiencia en el uso de métodos

formales para describir lenguajes y se intenta responder a preguntas

...