Teoría computación

67 %
33 %
Information about Teoría computación

Published on July 10, 2012

Author: osced

Source: slideshare.net

ESCUELA DE INGENIERÍASFACULTAD DE INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y LA COMUNICACIÓNPROGRAMA DE INGENIERÍA DE SISTEMAS E INFORMÁTICAMATERIA: TEORÍA DE LA COMPUTACIÓNCODIGO: 14291PRERREQUISITOS: Matemáticas DiscretasSEMESTRE: IIIINTENSIDAD HORARIA: 4 horas semanalesHABILITABLE: NOOBJETIVOS CONTENIDO DEL CURSO• Establecer las bases teóricas que soportan los Sistemas de Computo modernos. • PRELIMINARES• Establecer los límites en los problemas que - Reseña Histórica puede/no puede resolver un Computador. - Lógica elemental - Teoría de Conjuntos• Identificar las clasificación de los - Relaciones y Funciones problemas según los recursos (tiempo, - Inducción espacio) necesarios para su solución. - Relaciones y Funciones - Generalidades lenguajes formalesPROPOSITOS DE FORMACIÓN• Entender los fundamentos de computación • LENGUAJES FORMALES Y SUS para introducir a los estudiantes a los más MAQUINAS importantes modelos computacionales que surgieron en los últimos cincuenta años - Lenguajes regulares y expresiones regulares• Dar a conocer al estudiante los principios - Maquinas de estados finitos de la teoría de la computación que - Autómata finito determinista (AFD) establecen los fundamentos de operación - Autómata finito no determinista (AFN) de las distintas arquitecturas de hardware - Equivalencia de AFN y de AFD existes, y establecen los límites entre lo - E-transiciones que puede hacer y no puede hacer un - Autómatas finitos y expresiones regulares computador. - Aplicaciones de las expresiones regulares y de los autómatas finitos• Identificar las clases de complejidad - Diseño de autómatas de estados finitos computacional y clasificar problemas clásicos dentro de estas clases. - Lenguajes no regulares - Propiedades de los lenguajes• Conocer la teoría de lenguajes formales y independientes del contexto de autómatas para aplicarla en asignaturas - Autómata de pila no determinista (ADPND) o proyectos futuros relacionados - Autómatas de pila y lenguajes principalmente con compiladores, independientes del contexto inteligencia artificial y robótica. - Lenguajes sensibles al contexto 1

• HOPCROFT Y ULLMAN. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Editorial Cecsa.• TEORIA DE GRAMATICAS • BRENA, Ramón. Autómatas y Lenguajes. - Jerarquía de Chomsky Tec. Monterrey. 2003. Libro electrónico - Gramáticas Regulares disponible en - Gramáticas y lenguajes regulares http://lizt.mty.itesm.mx/~rbrena/AyL.html - Gramáticas independientes del contexto • ISASI VIÑUELA, Pedro; MARTÍNEZ - Árboles de derivación o de análisis de FERNANDEZ, Paloma; BORRAJO ambigüedad MILLÁN, Daniel. Lenguajes, Gramáticas y -Simplificación de gramáticas Autómatas; Un enfoque práctico. Editorial independientes del contexto Addison-Wesley.• MAQUINAS DE TURING • CORMEN, T., LEISERSON, C. y RIVEST, R. Introduction to algorithms. - Definiciones básicas - Máquinas de Turing como aceptadoras de • BRASSARD, G. y BRATLEY P. lenguajes Fundamentos de Algoritmia. - Construcción de máquinas de Turing - Modificaciones de las máquinas de Turing • BASE, S. Algoritmos computacionales. - La tesis de Church-Turing Introducción al análisis y diseño. - Definición de algoritmo • AHO, A. V., HOPCROFT, J. E., y ULLMAN,METODOLOGIA J.D. Data Structures and Algorithms.• El curso se desarrollará mediante • LEWIS, H. y PAPADIMITRIOU, C. exposición del profesor y si se requiere de Elements of the Theory of Computation. los estudiantes. • SIPSER, Michael. Introduction to the• Se dejarán algunos temas para Theory of Computation. investigación o autoestudio con asesoría del profesor.• Habrá un texto guía. Elaboró: Oscar Eduardo Sánchez García Docente de Teoría de la Computación• Los estudiantes desarrollarán un proyecto II Semestre Académico del 2012 que consta de dos partes. La primera Universidad Pontificia Bolivariana consiste en construir un analizador léxico República de Colombia de algún lenguaje de programación real. La segunda consiste en elaborar la gramática BNF del lenguaje de programación.BIBLIOGRAFIA• KELLY, Dean. Teoría de Autómatas y Lenguajes Formales. Prentice Hall. 2

3

Add a comment

Related presentations

Related pages

Ciencias de la computación - Wikipedia, la enciclopedia libre

Teoría de la computación . Artículo principal: Teoría de la computación. De acuerdo a Peter J. Denning, la pregunta fundamental en ciencias de la ...
Read more

Teoría de la computación - Wikipedia, la enciclopedia libre

La teoría de la computación comienza propiamente a principios del siglo XX, poco antes que las computadoras electrónicas fuesen inventadas.
Read more

Theory of computation - Wikipedia, the free encyclopedia

History . The theory of computation can be considered the creation of models of all kinds in the field of computer science. Therefore, mathematics and ...
Read more

TEORIA DE LA COMPUTACION - YouTube

TEORIA DE LA COMPUTACION ... introducción a Teoría de la Computación - Duration: 23:21. by Hilda Yelitza Contreras Zambrano 1,914 views.
Read more

Concepto de computación - Definición, Significado y Qué es

El término computación tiene su ... representó un nuevo impulso para todo lo relacionado con las ciencias de la computación. En cuanto a la teoría de ...
Read more

Lenguajes formales y teoría de la computación (Book ...

Get this from a library! Lenguajes formales y teoría de la computación. [John C Martin; Jorge Luis Blanco y Correa Magallanes]
Read more

Introducción: Conceptos básicos de Teoría de la ...

Introducción: Conceptos básicos de Teoría de la Computación Hilda Yelitza Contreras Zambrano. Subscribe Subscribed Unsubscribe 348. Loading ...
Read more

Teoría de la Computación - Scribd - Read Unlimited Books

Teoría de la Computación 30 de septiembre de 2009. Símbolo Un símbolo es la representación perceptible de una idea, con rasgos asociados por una ...
Read more

Teoría de la computación

Teoría de la computación. De Wikipedia, la enciclopedia libre Saltar a navegación, búsqueda La teoría de la computación es una rama de la matemática ...
Read more