IF114 - Linguagens e Máquinas

 

Pré-requisitos

1. Lógica Aplicada à Computação, IF312

Ementa

1. Autômatos finitos
2. expressões regulares
3. gramáticas regulares
4. equivalência entre os modelos
5. propriedades de linguagens regulares
6. Autômatos a pilha determinísticos e não-determinísticos
7. gramáticas livres-de-contexto, propriedades de LLC
8. ambigüidade
9. Autômatos `linear-bounded'
10. linguagens sensíveis-ao-contexto
11. a hierarquia de Chomsky.

Referências

1. Hopcroft, J. & Ullman, J.: `INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION' Addison-Wesley, 1979.