E N G E N H A R I A  A E R O E S P A C I A L
O Curso

Matriz Curricular

Projetos de Pesquisa

Docentes

Eventos & Links


Universidade Federal do ABC

Centro de Engenharia,
Modelagem e Ciências Sociais Aplicadas


MC3101
Linguagens Formais e Autômata

T P I = 4 0 4

Ementa

Linguagens Regulares. Linguagens Livres de Contexto. Linguagens Enumeráveis Recursivamente e Sensíveis ao Contexto. Hierarquia de Chomsky. Indecidibilidade.

Bibliografia Básica

SIPSER, M. “Introdução à Teoria da Computação”. 2ª Edição, Thomson, 2007; HOPCROFT, J. E., ULLMAN, D. J. e MOTOWANI, R. “Introdução à Teoria de Autômatos, Linguagens e Computação”, Rio de Janeiro:Editora Campus, 2ª edição, 2003.

Edição,

Bibliografia Complementar

LEWIS, H. R.; PAPADIMITRIOU, C. H. “Elementos de Teoria da Computação”. Ed. Bookman, segunda edição; TOSCANI, L. V.; VELOSO, P. A. S. “Complexidade de Algoritmos”, UFRGS: Editora Sagra Luzzatto, 1ª. Edição, 2001; MENEZES P. B. “Linguagens Formais e Autômatos”, UFRGS: Editora Sagra Luzzatto, 1ª. Edição, 2001; SHALLIT, J. “A Second Course in Formal Languages and Automata Theory”. Cambridge University Press, 2008.

Tipo

Livre