Universidade Federal do Espírito Santo

Portal do Ementário

Informações Gerais
Disciplina:
Linguagens Formais e Autômatos ( INF16155 )
Unidade:
Departamento de Informática
Tipo:
Optativa
Período Ideal no Curso:
Sem período ideal
Nota Mínima para Aprovação:
5.00
Carga Horária:
60
Número de Créditos:
4

Objetivos
Compreender a importância de sistemas formais, destacando a categorização de linguagens. Conhecer as características das linguagens segundo a Hierarquia de Chomsky, objetivando seu uso em aplicações computacionais tais como a construção de analisadores léxicos e sintáticos.

Ementa
Gramáticas formais e autômatos. Gramáticas regulares e autômatos finitos. Gramáticas livres de contexto. Gramáticas sensíveis ao contexto. Propriedades de linguagens. Formas Normais.

Bibliografia
MENEZES, P.B., Linguagens formais e autômatos, 4a. edição, Editora Sagra, 2000. HOPCROFT, J.E.; MOTWANI, R.; ULLMAN, J.D., Introdução à teoria de autômatos, linguagens e computação, 1a. edição, Editora Campus, 2003. VIEIRA, N.J., Introdução aos fundamentos da computação: linguagens e máquinas, 1a. edição, Editora Thomson, 2006.

Bibliografia Complementar
SUDKAMP, T.A., Languages and machines, 2a. edição, Editora Addison-Wesley, 1997. LEWIS, H.R.; PAPADIMITRIOU, C.H., Elementos de teoria da computação, 2a. edição, Editora Bookman, 2000. ROSA, J.L.G., Linguagens formais e autômatos, 1a. edição, Editora LTC, 2010. GERSTING, J.L., Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática discreta, 5a. edição, Editora LTC, 2004. SIPSER, M., Introdução à teoria da computação, 1a. edição, Editora Thompson, 2007.
Carregando...