¡Descarga biografia y más Apuntes en PDF de Informática solo en Docsity!
Noam Chomsky 1928 (Philadelphia)-
Noam Chomsky en un reputado lingüista, filósofo y activista político conocido mundialmente. Nacido en Philadelphia, estudió en las Universidades de Peensylvania y Harvard, y actualmente es profesor en el Dpt.De Lingüística y Filosofía del prestigioso MIT En 1957 escribió su obramás conocida,
Syntactic Structures
donde introduce una nueva teoría del
lenguaje basada en las gramáticas generativas, dando lugar al enfoquehoy día conocido (con toda justicia) como chomskiano. Ha publicado másde 70 libros en múltiples campos y es un conocido opositor y activistapolítico.
Teoría de Lenguajes Formales
Aunque inicialmente sus contribuciones estuvieron restringidas al ámbito exclusivo de la Lingüística,pronto encontraron aplicaciones fundamentales en la las Ciencias de la Computación. Su nociónde Gramática generativa ha sido básico para una caracterización formal y rigurosa de los lenguajesde programación, mientras que la Jerarquía de Chomsky ha permitido, a través de la definición delos niveles dos y tres el desarrollo de herramientas teóricas y prácticas aplicadas con profusión enel ámbito de cualquier traductor. Con posterioridad, ha participado y desarrollado diversas trabajosen esta línea.MÁS INFORMACIÓN:
www.lbbs.org/sep/noamlink.htm
John E. Hopcroft
Formando como doctor ingeniero eléctrico en la Universidad de Stanford en 1964,pronto cambia sus intereses hacia las Ciencias de la Computación, incorporándosecomo profesor primero a la Universidad de Princeton y posteriormente a de Cornell,donde actualmente es titular de la cátedra Joseph C. Ford y decano de la Escuela deIngeniería. Sus intereses se han centrado en la informática teórica, con especialdedicación al análisis de algoritmos, autómatas y lenguajes formales, y teoría degrafos. Sus últimos trabajos, en cambio, han estado dedicados al campo de laRobótica. Aunque sus aportaciones de investigación en el campo de la teoría de la autómatas han sido deimportancia y novedosas (two-way ballon automata y otras), la labor por la que es más reconocido esel conjunto de excepcionales libros de texto ha desarrollado en coautoría con expertos como AlfredAho, Jeffrey Ullman o Ravi Sethi. De entre ellos, los más conocidos son:1. Introduction to Automata Theory and Formal Languages.2. Formal Languages and their Relations with Automata3. Algorithms and Data Structures4. The Desing and Analysis of Computer Algorithms.
Anil Nerode
Doctor en Matemáticas por la Universidad de Chicago, realizó su disertacióndoctoral bajo la dirección de McLane. Tuvo contacto con lógico como Tarski yGödel. Rooser (cálculo lambada junto con Church) lo lleva a la Universidad deCornell, donde hoy en día es titular de la cátedra Goldwin Smith de Matemáticas.Sus intereses se encuadran en la lógica matemática, los autómatas y la teoría dela computabilidad, aunque en los últimos años se ha orientado más al campo dela I.A. Ha dirigido 43 tesis doctorales, muchos de cuyos autores han alcanzadocátedras en universidades de prestigio, siendo considerada y apreciada su facetacomo mentor.
En relación la teoría de lenguajes formales, su aportación más conocida es el teorema desarrolladoen colaboración con John Myhill, que establece una caracterización de los lenguajes regulares enbase al análisis del índice de una relación de equivalencia inducida por el lenguaje de que se trata.La aplicación práctica de dicho teorema es un conocido algoritmo de minimización de autómatasfinitos deterministas, que se obtiene de un corolario al teorema citado, el cual asegura que el AFDmínimo existe y es único salvo isomorfismos.
Sheila Greibach 1939(New York)-
Sheila Greibach nació en la ciudad de New York obteniendo su licenciaturaen Lingüística y Matemática Aplicada en 1960, doctorándose en MatemáticaAplicada en 1963 por la Universidad de Harvard. Fue profesora en la divisiónde Ingeniería y Física Aplicada en esa misma universidad hasta 1969. Desdeentonces ha sido profesora del Departamento de Ciencias de la ComputaciónEn UCLA. Sus intereses de investigación incluyen algoritmos y complejidadcomputacional, esquemas semánticos, teoría de autómatas, lenguajes formalesy computabilidad.
En relación la teoría de lenguajes formales, su aportación más conocida es la Forma Normal quelleva su nombre, aplicable a gramáticas libres del contexto, que publicó en forma de teorema enel número 12 del ACM Journal (pag. 42-52) en 1962. También introdujo, junto con Ginsburg, elConcepto de AFA (abstract finite acceptor), como dispositivo computacional abstracto capaz deefectuar un reconocimiento, y que se encontraría en un metanivel respecto de las máquinasabstractas estudiadas durante el curso. La noción de autómata de pila sobre la que se sustenta elanálisis sintáctico fue también introducida por ella junto con Ginsburg y Harrison.
