F r a n c i s c o ... T E O R Í A D E ...

T E O R Í A
D E
A U T Ó M A T A S
F r a n c i s c o
Y
L E N G U A J E S
J .
F O R M A L E S
V i c o
d e p a r t a m e n t o
L e n g u a j e s y
C i e n c i a s d e l a C o m p u t a c i ó n
á r e a d e c o n o c i m i e n t o
C i e n c i a s d e l a C o m p u t a c i ó n
I n t e l i g e n c i a A r t i f i c i a l
e
E T S I I n f o r m á t i c a
U n i v e r s i d a d d e M á l a g a
f j v i c o @ u m a . e s
g e b . u m a . e s / f j v
3 0 / J u n i o / 2 0 1 4
( t o d o
e l
d e
m a t e r i a l e n c u a d r a d o e n u n r e c t á n g u l o h a s i d o e x t r a í d o
o t r a s f u e n t e s , q u e s e r e f e r e n c i a n a c o n t i n u a c i ó n )
Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 1 Teoría de Lenguajes Formales Notación propuesta: CC BY G. Ramos, Teoría de autómatas y lenguajes formales Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 2 Operaciones sobre lenguajes Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 3 Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 4 CC BY I. Navarrete, J.M. Juárez, E. Martínez ­ webs.um.es/inava/docencia.htm Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 5 Gramáticas generativas Definiciones Producción de cadenas con gramáticas. Fuentes en Octave que permiten definir la gramática y encontrar cadenas y derivaciones hasta una determinada longitud. goo.gl/e5p2jF Gramáticas libres de contexto Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 6 CC BY E. Jurado ­ biblioteca.unex.es/tesis/Teorias_automatas.pdf Teoría de Autómatas Tabla­resumen de autómatas goo.gl/8mcB5W Curso de autómatas online y gratuito de la universidad de Stanford. Incluye AF, LCL, MT y problemas indecidibles e intratables. Se recibe un certificado al completar el curso con aprovechamiento. coursera.org/course/automata Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 7 Expresiones regulares CC BY D. Gómez y L.M. Pardo ocw.unican.es/ensenanzas­tecnicas/teoria­de­automatas­y­lenguajes­formales Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 8 CC BY E. Jurado ­ biblioteca.unex.es/tesis/Teorias_automatas.pdf Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 9 Clasificación de lenguajes Jerarquía de Chomsky CC BY E. Jurado ­ biblioteca.unex.es/tesis/Teorias_automatas.pdf Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 10 Condiciones de regularidad e independencia del contexto CC BY Martin Cohn y Harry Mairson CC BY E. Jurado ­ biblioteca.unex.es/tesis/Teorias_automatas.pdf Vico, F. (2014) Teoría de lenguajes formales y de la calculabilidad. OCW­Universidad de Málaga. http://ocw.uma.es. Bajo Licencia Creative Commons Attribution­NonCommercial­ ShareAlike 3.0 Spain 11