Linguagens Formais e Autómatos

Departamento de Informática

Universidade de Évora

2008/2009 - 1º semestre.

[Teóricas] [Avaliação] [Novidades] [Datas] [Bibliografia] [Práticas] [2007/2008]

Novidades

Esta é a página alternativa da disciplina de LFA, destinada a quem tiver problemas no acesso ao Moodle da UE, onde estão alojadas a página principal da disciplina e as respectivas notícias e novidades.

1ª Frequência - 4ª-feira, dia 26 de Novembro de 2008, às 18 horas, no anfiteatro CLV-2.
2ª Frequência - 6ª-feira, dia 9 de Janeiro de 2009, às 18 horas, no anfiteatro CLV-1.
Exame - 2ª-feira, dia 19 de Janeiro de 2009, às 14 horas, no anfiteatro CLV-1.
Exame de recurso - 6ª-feira, dia 30 de Janeiro de 2009, às 9:30, no anfiteatro CLV-3.

Bibliografia

Thomas A. Sudkamp, Languages and Machines: An Introduction to the Theory of Computer Science, Second Edition. Addison Wesley, 1997. (Ou a edição mais recente.)

Alfred V. Aho, Ravi Sethi e Jeffrey D. Ullman. Compilers: Principles, Techniques and Tools. Addison Wesley, 1986. (Análise sintáctica LR: secções 4.5 e 4.7.)

Andrew W. Appel. Modern Compiler Implementation in Java (existe na biblioteca), Modern Compiler Implementation in ML ou Modern Compiler Implementation in C. Cambridge University Press, 1998. (Análise sintáctica LL, LR e LALR: capítulo 3.) (Erratas das diferentes versões.)

Neil D. Jones. Computability and Complexity from a Programming Perspective. Foundations of Computing Series, MIT Press, 1997. (Errata da versão impressa.) (Disponível aqui.)

JFLAP: aplicação que manipula expressões regulares, autómatos finitos, gramáticas independentes do contexto, etc.

Material de apoio: acetatos (2/página, 4/página).
Atenção: os acetatos destinam-se a servir como material de apoio às aulas e não são apropriados para serem usados como única fonte de estudo da matéria.