Teoria da Computação e Linguagens Formais e Autômatos

Prof.ª Luciana

Plano de Aula
1- Símbolos, Alfabeto, Cadeias
1.2- Notações e operações com cadeias de símbolos
1.3- Definição de linguagem formal
1.4- Representação de linguagens

2- Gramaticas
2.1- Definição formal
2.2- Como uma gramatica gera uma linguagem
2.3- Tipos de gramaticas (Hierarquia de Chonsky)
2.3.1- Irrestrita
2.3.2- Sensível ao Contexto
2.3.3- Livre de contexto
2.3.4- Regular

3- Reconhecedores
3.1- Autômato Finito
3.2- Autômato com Pilha
3.3- Macna de Turing

4- Teoria da Computabilidade e Decidibilidade

4.1- Tese de Church-Turing
4.2- Redutibilidade
4.3- Exemplos de problemas insolúveis

Bibliografia

1- Menezes, P.B, Linguagens Formais e Autômatos, Porto Alegre: Ed. Sagra Luzzatto,
1998.
2- Hopcroft, J.E, Ullman, J.D, Montwani, R. Introdução à teoria de autômatos, linguagens
e computação. RJ: Campus, 2003.
3- Lewis H.R, Papadimitriou, C.H Elementos da teoria da computação. Porto Alegre:
Bookman, 2000.
4- Diverio, T.A, Menezes, P.B, Teoria da computação: macnas universais e contabilidade.
Porto Alegre: Sagra Luzzatto, 2000.
5- Ramos, M.V.M, Neto, J.J, Veja, I.S, Linguagens formais teoria, modelagem e
implementação. Porto Alegre: Bookman, 2009.