Teoria De La Computacion

La teoría de la computación estudia: Lenguajes y expresiones regulares, máqui-

nas abstractas con capacidad de cómputo (procesan palabras) (autómatas fini-

tos), y máquinas abstractas para generar palabras (gramáticas). Existen muchas

razones por las que el estudio de este tipo de dispositivos abstractos es parte

fundamental del núcleo de ingeniería de sistemas; por ejemplo los modelos pro-

puestos en ésta prestan utilidad en el diseño de hardware y software.

Algunas aplicaciones prácticas son:

Software para analizar y verificar el funcionamiento de cualquier tipo de

sistemas que presente un número finito de estados diferentes.

Diseñar, analizar y verificar el comportamiento de circuitos digitales.

Construir un analizador léxico de un compilador.

Software para explorar grandes bases de datos o texto, como por ejemplo

páginas web.

Búsqueda de patrones en grandes secuencias de texto.

Creación de rutinas para validar entrada de datos a un programa.

Análisis de cualquier sistema que presente un número finito de estados.

Por último, es esencial que el futuro ingeniero de sistemas comprenda el impacto

de los modelos y paradigmas básicos de la Teoría de la Computación en otras

áreas de las Ciencias de la Computación, primordialmente en el Análisis y Diseño

de Algoritmos, Compiladores, entre otras.

Ésta cartilla se ha escrito como material de apoyo para un curso de Teoría de

la Computación a nivel de pregrado y pretende ayudar a los estudiantes en los

temas que pueden presentar alguna dificultad, además, facilita el trabajo inde-

pendiente del estudiante puesto que es una excelente herramienta de autoestudio

y autoevaluación.

Por otra parte, se espera continuar con el proceso de edición de este material

con el objetivo disponer, en un futuro no muy lejano, con una obra completa que

incluya ejemplos aplicados de los temas expuestos. Por último, invito al lector

a enviar sus inquietudes al siguiente correo: rpava@uniminuto.edu.

...