Linguagens Formais e Autómatos

Departamento de Informática

Universidade de Évora

2007/2008 - 1º semestre.

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

Novidades

Vá aqui para ver a página da edição actual de LFA.

1ª Frequência - 4ª-feira, dia 14 de Novembro de 2007, às 18 horas, no anfiteatro CLV-2.
2ª Frequência - 5ª-feira, dia 10 de Janeiro de 2008, às 11 horas, na sala CLV-130.
Exame - 3ª-feira, dia 22 de Janeiro de 2008, às 14 horas, na sala CLV-130.
Exame de recurso - 6ª-feira, dia 8 de Fevereiro de 2008, às 10 horas, na sala CLV-134.

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.)

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.