Teoría de lenguajes y compiladores

Tamaño: px

Comenzar la demostración a partir de la página:

Download "Teoría de lenguajes y compiladores"

Diego Calderón Espejo
hace 7 años
Vistas:

1 Teoría de lenguajes y compiladores P R E S E N T A N: : MÉNDEZ GARCÍA SARA smendez@ipn.mx RODRIGUEZ MENDOZA VÍCTOR HUGO vick_rom@hotmail.com APUNTES Segunda sesión TLC_Sesion2_Ene2017. ENERO DEL 2014

2 OBJETIVO. Construir autómatas matemáticos, y gramáticas, mediante métodos de la teoría de la computación, para el uso avanzado de procesadores de texto y bases de datos en las organizaciones y áreas de Tecnologías de Información.

3 Introducción? PRIMERA SESIÓN Qué es una teoría? Polisémico (uso coloquial, ciencia y filosofía) Coloquial: suposición, oposición a la práctica, norma, Creencia, especulación, Trabajo científico intermedio: hipótesis, suposición, cuerpo de enunciados. Filosofía: abstracción de cualquier cosa TEORIA/PRÁCTICA = > CONOCIMIENTO/APLICACIÓN TRABAJO CIENTIFICO: Es un modelo universal explicativo (cognitivo y simbólico) que representa una relación entre clases generales de hechos y tiene el poder de predecir hechos particulares.

4 Introducción? PRIMERA SESIÓN Cuáles son las operaciones básicas de una teoría? Son tres operaciones básicas: I. Universalidad.- Implica la construcción de un esquema de unificación sistémica dotado de alto grado de comprensión. II. Representación en un lenguaje simple, claro y eficaz: implica la definición de un conjunto de medios de representación conceptual y simbólica, ejemplo: Lenguaje matemático de la lógica. III. Especialización: implica la construcción de un conjunto de reglas de inferencia que permiten la previsión de los datos de hecho. NO HAY CIENCIAS SIN TEORIAS FUENTE: VIDEO DE HILDA YELITZA CONTRERAS ZAMBRANO

5 Introducción? PRIMERA SESIÓN Cuáles son las teorías que integran la Teoría de la computación? Son tres : 1) Teoría de autómatas- Implica teoría de máquinas 2) Lingüística- implica Teoría de lenguajes y las gramáticas 3) Fundamentos de las matemáticas- implica teoría de la computabilidad y de la complejidad. CIENCIAS de la computación qué pueden hacer las computadoras? Teoría de autómatas: qué es una computadora Teoría de lenguajes y sus gramáticas.- Relación entre la matemática y la lógica pura con sus características de: 1.Decidible, 2.Completa y 3) Consistente. FUENTE: VIDEO DE HILDA YELITZA CONTRERAS ZAMBRANO

6 Qué es Teoría de la computación? PRIMERA SESIÓN Es un conjunto de conocimientos racionales, sistematizados y funcionales que se centran en el estudio de la abstracción de los procesos que ocurren en la realidad con el fin de reproducirlos con ayuda de sistemas formales, es decir, a través de códigos de caracteres e instrucciones lógicas,...

7 Teoría de la computación Unidad I. Marco conceptual 1.1 Sistemas formales Recordemos que, desde un punto de vista simplificado: Un sistema es un conjunto o agrupación de elementos distintos (heterogéneos), dichos elementos interactúan entre sí, para juntos lograr un fin común con recursos (entradas) y productos (salidas o resultados. (definición personal)

8 Teoría de la computación Unidad I. Marco conceptual 1.1 Sistemas formales El sistema formal, no es una excepción, solo que los elementos que integran a un sistema formal son de tipo abstracto o representativo del comportamiento de un sistema real también se puede decir que es la abstracción (utilizando símbolos que modelan los elementos y comportamiento del sistema que se pretende representar).

9 Teoría de la computación Unidad I. Marco conceptual 1.1 Sistemas formales

10 Unidad I. Marco conceptual 1.1 Sistemas formales. El modelo creado, representativo del sistema, muestra funcionamiento, comportamiento y resultados esperados de un problema que se plantea de forma tangible, esto es, el problema es real, pero los sistemas formales son representaciones de esos sistemas reales y al abstraerse se convierten en sistemas representativos.

11 Unidad I. Marco conceptual 1.1 Sistemas formales. Esto en un tipo de matemática conocida como la teoría de conjuntos, con base a definir la agrupación de elementos, sus características y algunas operaciones básicas como la unión, intersección, complemento, etc.

12 Unidad I. Marco conceptual 1.1 Sistemas formales. los autómatas finitos (determinísticos AFD, no determinísticos AFN). Estos gráficos dirigidos (dígrafos), equivalen a la representación de los diferentes elementos que integran un sistema real, tales como: estímulos de entrada, procesos, transiciones entre los procesos, decisiones, recursos, eventos, etapas, ciclos, etc. Finalmente también la razón de ser de los sistemas son los resultados o salidas, mismas que también se representan en los sistemas formales que pueden ser simbólicos o gráficos.

13 Unidad I. Marco conceptual 1.1 Sistemas formales. los autómatas finitos (determinísticos AFD, no determinísticos AFN). Estos gráficos dirigidos (dígrafos), equivalen a la representación de los diferentes elementos que integran un sistema real, tales como: estímulos de entrada, procesos, transiciones entre los procesos, decisiones, recursos, eventos, etapas, ciclos, etc. Finalmente también la razón de ser de los sistemas son los resultados o salidas, mismas que también se representan en los sistemas formales que pueden ser simbólicos o gráficos.

14 Unidad I. Marco conceptual 1.1 Sistemas formales. Describa brevemente su propia definición de sistemas formales y la mayor cantidad de ejemplos:

15 Unidad I. Marco conceptual 1.1 Sistemas formales. Actividad de aprendizaje. EJERCICIO 1. Desarrolle un diagrama de flujo (organizador gráfico) en el cual se representen tres variables: E, N y S, cada una con la posibilidad de contener sólo dos valores (binarias): 0 y 1, mismos que permiten abstraer al sistema manual mecánico del depósito de agua de nuestro inodoro, vamos a aprovechar tres de sus elementos para hacer una abstracción muy simple, utilizando también tres letras mayúsculas para los elementos que serán representados (simbolizados) con las letras mayúsculas: E => representa la válvula de ingreso (entrada) N => representa la cazoleta de nivel (flotador o proceso) S => representa la válvula de descarga (salida) Cada una de estas letras mayúsculas representan una variable binaria dentro de nuestra abstracción, esto es, si la variable E tiene el valor de 0 (cero), significa que el agua no entra por la válvula de ingreso, si toma el valor de 1 (uno), esto significa que el agua entra por la válvula de ingreso. Los valores binarios son para cada una de las tres variables que tiene representaciones tales como: E Si es 0 =>el agua no entra. Si es 1 => la válvula se abre y entra el agua. PRIMERA SESIÓN N Si es 0 => no hay agua, está vacío el contenedor. Si es 1 => está lleno de agua el contenedor. S Si es 0 => No hay salida de agua. Si es 1 => Sale el agua y abre válvula de ingreso E. Este ejercicio consiste en relacionar las tres variables con sus dos valores cada una y mostrarlo mediante un diagrama de flujo que contiene algunos de los símbolos, Según figura I.3, donde se muestran los diagramas de: ENTRADA, PROCESO, SALIDA, DECISION y FIN. Finalmente también la razón de ser de los sistemas son los resultados o salidas, mismas que también se representan en los sistemas formales que pueden ser simbólicos o gráficos.

smendez@ipn-mx DESPEDIDA La vida es una fiesta si haces lo que amas Fisk Peter (2012). Ingenio Creativo, una guía de innovación para líderes empresariales progresistas y visionarios.

16 DESPEDIDA La vida es una fiesta si haces lo que amas Fisk Peter (2012). Ingenio Creativo, una guía de innovación para líderes empresariales progresistas y visionarios. Grupo editorial Patria. Trout Susan S. (1997). NACIDO PARA SERVIR: La evolución del alma a través del Servicio Alexandria, VA: Three Roses Press. Sitio en internet: Sánchez Ángeles José Augusto (2009) RESPONSABILIDAD SOCIAL UNIVERSITARIA.: Una aproximación desde la ética cívica y los derechos humanos Escuela Superior de Comercio y Administración, Unidad Santo Tomás. Marzo. Constitución Política de los Estados Unidos Mexicanos. Actualización empleada: junio 2013

Documentos relacionados

Teoría de la Computación y Lenguajes Formales

Teoría de la Computación y Lenguajes Formales y Lenguajes Formales Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve hildac.teoriadelacomputacion@gmail.com Teoría de la Computación? Introducción Qué es una teoría? Polisémico (uso