Page 6 - LENGUAJES FORMALES AUTOMATAS Y COMPILADOS
P. 6
6
INTRODUCCIÓN
Aunque no debemos hacer una distinción tajante entre los aspectos prácticos y teóricos de la
informática, es cierto que existen materias que tienen un alto contenido formal, con desarrollos
de tipo matemático, al contrario que otros temas más cercanos a la resolución de problemas de
tipo práctico. La asignatura de teoría de autómatas y lenguajes formales sin duda trata con las
materias del primer tipo y los contenidos que se imparten constituyen el eje fundamental de
diversas áreas de conocimiento encuadradas dentro de lo que podríamos denominar y considerar
informática teórica. La mayoría de las veces estas disciplinas resultan “agrias”, “duras”, “´áridas”
y distanciadas de lo que los estudiantes entienden que deberían estudiar en una carrera de
ingeniería informática, porque creen que todo es implementación y práctica y/o la obtención de
un producto que en definitiva haga algo; pero la informática, como cualquier otra ciencia o
ingeniería, tiene unos fundamentos teóricos sobre los que apoyarse y que cualquier ingeniero en
informática debe conocer. Así lo entienden diversos organismos internacionales como ACM
(Association for Computing Machinery) y la IEEE ((Institute of Electrical and Electronics
Engineers) que recomiendan al menos un curso de autómatas y lenguajes formales en los
currículos de las carreras relacionadas con la informática.
Una motivación para el estudio de estas materias formales la expuso Robin Milner en un discurso
que dio en 1993 al recoger el prestigioso Premio Turing que se otorga a distinguidos científicos
que trabajan en el área de las ciencias de la computación: “Éstas [las aplicaciones] son altamente
necesarias, pero no queremos que esto ocurra en detrimento del trabajo teórico...las ciencias de
la computación son tan amplias que, si no tienen una teoría básica, estaremos perdidos. Tantas
cosas están avanzando... ¿cómo podría ocurrir esto sin una teoría? Esta tiene que ir cogida de
la mano de la práctica.”
