Este prólogo presenta la carrera de Ingeniería en Sistemas y describe la importancia del estudio de los Lenguajes Formales y Teoría de Autómatas (LFTA). LFTA es un campo científico clásico y multidisciplinario que sienta las bases para campos como la algoritmia y la computabilidad. Además, el estudio de LFTA permite entender la estructuración de los lenguajes de programación y es útil para el diseño de lenguajes y compiladores.

1. Pr´logo de estudio de los LFTA
o
Tutores: Luis Antonio Chamba Eras
Edison Leonardo Coronel Romero
Carrera de Ingenier´ en Sistemas
ıa
Universidad Nacional de Loja
Septiembre 2012
1 / 16

2. Pr´logo
o
• Campo Cient´
ıfico de la Inform´tica Te´rica.
a o
2 / 16

3. Pr´logo
o
• Campo Cient´
ıfico de la Inform´tica Te´rica.
a o
• Cl´sico y Multidisciplinar dentro de los estudios universitarios.
a
3 / 16

4. Pr´logo
o
• Campo Cient´
ıfico de la Inform´tica Te´rica.
a o
• Cl´sico y Multidisciplinar dentro de los estudios universitarios.
a
• Cl´sico: no solo por su antig¨edad contenidos principales no
a u
dependen de los r´pidos avances tecnol´gicos.
a o
4 / 16

5. Pr´logo
o
• Campo Cient´
ıfico de la Inform´tica Te´rica.
a o
• Cl´sico y Multidisciplinar dentro de los estudios universitarios.
a
• Cl´sico: no solo por su antig¨edad contenidos principales no
a u
dependen de los r´pidos avances tecnol´gicos.
a o
• Multidisciplinar: en sus bases se cuenta con campos disparejos,
por ejemplo: matem´ticas, ling¨´
a uıstica, electr´nica, etc.
o
5 / 16

6. Pr´logo
o
• No haya sufrido cambios en las ultimas d´cadas, no deja de ser
´ e
de mucho inter´s.
e
6 / 16

7. Pr´logo
o
• No haya sufrido cambios en las ultimas d´cadas, no deja de ser
´ e
de mucho inter´s.
e
• Estudio de las m´quinas secuenciales que abarca la teor´ de
a ıa
aut´matas sienta las bases para la Algoritmia y permite mo-
o
delar y dise˜ar soluciones para un gran n´mero de problemas.
n u
7 / 16

8. Pr´logo
o
• No haya sufrido cambios en las ultimas d´cadas, no deja de ser
´ e
de mucho inter´s.
e
• Estudio de las m´quinas secuenciales que abarca la teor´ de
a ıa
aut´matas sienta las bases para la Algoritmia y permite mo-
o
delar y dise˜ar soluciones para un gran n´mero de problemas.
n u
• Abordar preguntas de inter´s para los inform´ticos, como qu´ ti-
e a e
po de problemas puede ser resueltos por un ordenador, o de
existir una soluci´n computable para un problema, c´mo po-
o o
demos medir la calidad de dicha soluci´n.
o
8 / 16

9. Pr´logo
o
• Es la puerta de entrada hacia campos como: computabilidad
y la complejidad algor´
ıtmica.
9 / 16

10. Pr´logo
o
• Es la puerta de entrada hacia campos como: computabilidad
y la complejidad algor´
ıtmica.
• Uno de los mayores aportes desde el punto de vista pr´ctico, es
a
para el dise˜o de lenguajes de programaci´n.
n o
10 / 16

11. Pr´logo
o
• Es la puerta de entrada hacia campos como: computabilidad
y la complejidad algor´
ıtmica.
• Uno de los mayores aportes desde el punto de vista pr´ctico, es
a
para el dise˜o de lenguajes de programaci´n.
n o
• El estudio de LFTA permitir´ conocer con profundidad la es-
a
tructuraci´n de los lenguajes de programaci´n.
o o
11 / 16

12. Pr´logo
o
• Es la puerta de entrada hacia campos como: computabilidad
y la complejidad algor´
ıtmica.
• Uno de los mayores aportes desde el punto de vista pr´ctico, es
a
para el dise˜o de lenguajes de programaci´n.
n o
• El estudio de LFTA permitir´ conocer con profundidad la es-
a
tructuraci´n de los lenguajes de programaci´n.
o o
• Se destaca la aplicaci´n pr´ctica de la unidad que es el dise˜o
o a n
de lenguajes de programaci´n y compiladores.
o
12 / 16

13. Pr´logo
o
• Generaci´n autom´tica de analizadores l´xicos y sint´cticos.
o a e a
13 / 16

14. Pr´logo
o
• Generaci´n autom´tica de analizadores l´xicos y sint´cticos.
o a e a
• El trabajo aut´nomo (no presencial) en el nuevo marco de la
o
educaci´n superior es muy importante, se recomienda buscar
o
material de ayuda para la preparaci´n previa de los cap´
o ıtulos en
la unidad.
14 / 16

15. Pr´logo
o
MANOS A LA OBRA
15 / 16

16. Bibliograf´
ıa
[1] Elena Jurado M´laga.
a
Teor´ de Aut´matas y Lenguajes Formales
ıa o
Universidad de Extremadura, 2008.
16 / 16