5/21/2018 Taller Teor a de Aut matas y Lenguajes Formales
1/3
TALLER 1.
Teora de Autmatas y Lenguajes Formales
Identificar el funcionamiento de los lenguajes y la teora de
autmatas, elabore un diagrama queabarque 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
suscaractersticas.
El que se encarga, si procede, de grabar y recuperar informacin
de un soporte de datos, dgasesistema clsico de archivos, base de
datos, etc.
A partir de aqu podemos empezar a crear los programas siguiendo
estas premisasComunicacin 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.
5/21/2018 Taller Teor a de Aut matas y Lenguajes Formales
2/3
Despus existe una serie de programas cuya interfaz es una simple
pregunta de si se desea o norealzar un proceso, o los de capturar
una serie de datos para llegar a una conclusin o realizar unproceso
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, ocalcularse
directamente sobre el cdigo, contando las instrucciones a ser
ejecutadas ymultiplicando 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 * NDonde 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, haciendoque las sentencias ejecutadas
dependan de la condicin lgica, esto hace que aparezca ms deun 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 "elcaso promedio" o el ms frecuente,
siendo este el ms difcil de estudiar; nos centraremos en el "elpeor
caso" por ser de fcil clculo y se acerca a "el caso promedio",
brindndonos una medidapesimista pero fiable.Toda funcin
T(N)encierra referencias al parmetro N,y a una serie deconstantes
Tidependientes de factores externos al algoritmo. Se tratar de
analizar los algoritmosdndoles autonoma frente a estos factores
externos, buscando estimaciones generalesampliamente 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 algoritmoindica la cantidad de espacio requerido
para ejecutar el algoritmo; es decir, el espacio en memoriaque
ocupan todas las variables propias al algoritmo. Para calcular la
memoria esttica de unalgoritmo se suma la memoria que ocupan las
variables declaradas en el algoritmo. Para el casode la memoria
dinmica, el clculo no es tan simple ya que, este depende de cada
ejecucin delalgoritmo.
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 ocomparacin de patrones, explique el proceso.
Un documento XML est formado por el prlogo y por el cuerpo del
documento as como texto deetiquetas que contiene una gran variedad
de efectos positivos o negativos en la referencia opcionala la que
se refiere el documento, hay que tener mucho cuidado de esa parte
de la gramtica lxicapara que se componga de manera uniforme.
Aunque no es obligatorio, los documentos XML pueden empezar con
unas lneas que describen laversin XML, el tipo de documento y otras
cosas.
El prlogo de un documento XML contiene:
![autómatas-finitos [Modo de compatibilidad] · Teoría de Autómatas y Lenguajes Formales Tema 6.-Autómatas finitos y máquinas secuenciales 9 [9] en el mismo subconjunto si δ (q](https://img.pdfslide.tips/doc/110x75/5ea13ac8e528125662251492/autmatas-finitos-modo-de-compatibilidad-teora-de-autmatas-y-lenguajes-formales.jpg)
![Benemérita Universidad Autónoma de Puebla Vicerrectoría …secreacademica.cs.buap.mx/planes/PAs ACTUALIZADOS 2013/ICCyC… · [Lenguajes Formales y Autómatas] 1 ... autómatas](https://img.pdfslide.tips/doc/110x75/5a795a877f8b9ac53b8da164/benemrita-universidad-autnoma-de-puebla-vicerrectora-actualizados-2013iccyclenguajes.jpg)
