TALLER 1.

Teora de Autmatas y Lenguajes Formales

Identificar el funcionamiento de los lenguajes y la teora de autmatas, elabore un diagrama que
abarque sus principales caractersticas.


Proporcionar conceptos fundamentales de la Teora de Autmatas y Lenguajes Formales, de:

Disciplinas de la computacin.

Teora de Autmatas.
Trata del estudio de mquinas de computacin abstractas.
Teora de la Computacin.
Trata del estudio de la computabilidad y de la complejidad.
Lenguajes y Gramticas.
Trata del estudio y formalizacin de los lenguajes.

Cmo puede construirse un programa para resolver un problema?

Un programa se compone de varios elementos:

El que se comunica con el usuario, la interfaz.
El que recibe esa informacin y la trata en funcin del destino de la misma, y de sus
caractersticas.
El que se encarga, si procede, de grabar y recuperar informacin de un soporte de datos, dgase
sistema clsico de archivos, base de datos, etc.

A partir de aqu podemos empezar a crear los programas siguiendo estas premisas
Comunicacin con el usuario, interfaz.
Que trata los datos que en esa interfaz se muestran o se recogen.
De recuperacin y grabacin de los datos, si procede.

Despus existe una serie de programas cuya interfaz es una simple pregunta de si se desea o no
realzar un proceso, o los de capturar una serie de datos para llegar a una conclusin o realizar un
proceso basado en ellos, los denominados asistentes.

Cunto se tarda en realizar un cmputo (complejidad temporal).

El tiempo de Ejecucin de un programa se mide en funcin de N, lo que designaremos como T(N).
Esta funcin se puede calcular fsicamente ejecutando el programa acompaados de un reloj, o
calcularse directamente sobre el cdigo, contando las instrucciones a ser ejecutadas y
multiplicando por el tiempo requerido por cada instruccin. As, un trozo sencillo de cdigo como:
S1;
for(x = 0; x < N; x++)
S2;
Demanda: T(N) = t1 + t2 * N
Donde t1 es el tiempo que lleva ejecutar la serie S1 de sentencias, y t2 es el que lleva la serie S2.

Habitualmente todos los algoritmos contienen alguna sentencia condicional o selectiva, haciendo
que las sentencias ejecutadas dependan de la condicin lgica, esto hace que aparezca ms de
un valor para T(N), es por ello que debemos hablar de un rango de valores:
Tmin(N) T(N) Tmax(N)

Estos extremos son llamados "el peor caso" y "el mejor caso" y entre ambos se puede hallar "el
caso promedio" o el ms frecuente, siendo este el ms difcil de estudiar; nos centraremos en el "el
peor caso" por ser de fcil clculo y se acerca a "el caso promedio", brindndonos una medida
pesimista pero fiable.
Toda funcin T(N) encierra referencias al parmetro N, y a una serie de
constantes Ti dependientes de factores externos al algoritmo. Se tratar de analizar los algoritmos
dndoles autonoma frente a estos factores externos, buscando estimaciones generales
ampliamente vlidas, a pesar de ser demostraciones tericas.


Cuanta memoria se requiere para realizar el computo (complejidad espacial)

Memoria que utiliza un programa para su ejecucin, La eficiencia en memoria de un algoritmo
indica la cantidad de espacio requerido para ejecutar el algoritmo; es decir, el espacio en memoria
que ocupan todas las variables propias al algoritmo. Para calcular la memoria esttica de un
algoritmo se suma la memoria que ocupan las variables declaradas en el algoritmo. Para el caso
de la memoria dinmica, el clculo no es tan simple ya que, este depende de cada ejecucin del
algoritmo.

Aplicacin directa de conceptos inherentes a las Ciencias de la Computacin como:
Diseo - Maquina secuencial = Cdigo.

Diseo de estructuras y pasing: gramaticales (ej XML), bsqueda de cadenas o
comparacin de patrones, explique el proceso.

Un documento XML est formado por el prlogo y por el cuerpo del documento as como texto de
etiquetas que contiene una gran variedad de efectos positivos o negativos en la referencia opcional
a la que se refiere el documento, hay que tener mucho cuidado de esa parte de la gramtica lxica
para que se componga de manera uniforme.

Aunque no es obligatorio, los documentos XML pueden empezar con unas lneas que describen la
versin XML, el tipo de documento y otras cosas.

El prlogo de un documento XML contiene:

Una declaracin XML. Es la sentencia que declara al documento como un documento XML.
Una declaracin de tipo de documento. Enlaza el documento con su DTD (definicin de tipo de
documento), o el DTD puede estar incluido en la propia declaracin o ambas cosas al mismo
tiempo.

Uno o ms comentarios e instrucciones de procesamiento.
SW para disear y evaluar circuitos digitales.
Como Escanear grandes cantidades de texto (web).
Sw para verificar sistemas que tienen un nmero finito de estados.

Enlace apoyo de la universidad Carlos III de Madrid.
http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-formales/material-de-
clase-1/tema-i-introduccion/view