LINGUAGENS FORMAIS E AUTÔMATOS
Criado por
EID
Sobre este curso
Conceitos básicos: conjuntos, lógica, símbolos, cadeias, linguagens. Linguagens regulares: gramáticas regulares, expressões regulares e autômatos finitos. Linguagens livres de contexto: gramáticas livres de contexto, árvores de derivação, autômatos à pilha. Lema do bombeamento. Linguagens sensíveis ao contexto e recursivamente enumeráveis: máquinas de Turing. Tese de Church-Turing. Decidibilidade e complexidade.
Plano de Aula
1. Introdução às linguagens formais
2. Linguagens regulares
3. Linguagens livres de contexto
4. Linguagens recursivamente enumeráveis e sensíveis ao contexto
5. Decidibilidade e complexidade
Bibliografia
HOPCROFT, John E; MOTWANI,
Rajeev; ULLMAN, Jeffrey D. Introdução à teoria de autômatos, linguagens e
computação. Rio de Janeiro: Campus, 2002.
Rajeev; ULLMAN, Jeffrey D. Introdução à teoria de autômatos, linguagens e
computação. Rio de Janeiro: Campus, 2002.
MENEZES, Paulo Blauth.
Linguagens formais e autômatos. 5.ed. Porto Alegre: Bookman, 2008.
Linguagens formais e autômatos. 5.ed. Porto Alegre: Bookman, 2008.
ROSA, J. L. G. Linguagens
formais e autômatos. 1. ed. Rio de Janeiro: LTC, 2010.
formais e autômatos. 1. ed. Rio de Janeiro: LTC, 2010.
AHO, Alfred V et al.
Compiladores: princípios, técnicas e ferramentas. 2 ed. São Paulo: Person
Addison Wesley, 2007.
Compiladores: princípios, técnicas e ferramentas. 2 ed. São Paulo: Person
Addison Wesley, 2007.
LEWIS, Harry R;
Papadimitriou, Christos H. Elementos de teoria da computação. 2. ed. Porto
Alegre: Bookman, 2004.
Papadimitriou, Christos H. Elementos de teoria da computação. 2. ed. Porto
Alegre: Bookman, 2004.
LOUDEN, Kenneth C; SILVA,
Flávio S. C. Compiladores: princípios e práticas. São Paulo: Thomson, 2004.
Flávio S. C. Compiladores: princípios e práticas. São Paulo: Thomson, 2004.
ULLMAN, Jeffrey D;
MOTWANI, Rajeev; HOPCROFT, John E. Introduction to automata theory, languages,
and computation. 3.ed. Boston (USA): Pearson, 2006.
MOTWANI, Rajeev; HOPCROFT, John E. Introduction to automata theory, languages,
and computation. 3.ed. Boston (USA): Pearson, 2006.
DIVERIO, Tiarajú; MENEZES, Paulo. Teoria da Computação: Máquinas Universais e Computabilidade. 2. ed. Porto Alegre: Sagra Luzzatto, 2003.
SILVA, Luiz. Linguagens Formais e Autômatos. Publicação Independente, 2009.
SIPSER, Michael. Introdução à Teoria da Computação. 1. ed. Boston: Cengage Learning, 2005.
Conteúdo
LINGUAGENS FORMAIS E AUTÔMATOS
37 Partes
Livro: Linguagens Formais e Autômatos
-
Apresentação
-
Introdução às linguagens formais - seção 01
-
Introdução às linguagens formais - seção 02
-
Introdução às linguagens formais - seção 03
-
Introdução às linguagens formais - atividade 01
-
Introdução às linguagens formais - atividade 02
-
Introdução às linguagens formais - atividade 03
-
Linguagens regulares - seção 01
-
Linguagens regulares - seção 02
-
Linguagens regulares - seção 03
-
Linguagens regulares - seção 04
-
Linguagens regulares - atividade 01
-
Linguagens regulares - atividade 02
-
Linguagens regulares - atividade 03
-
Linguagens regulares - atividade 04
-
Linguagens regulares - atividade 05
-
Linguagens livres de contexto - seção 01
-
Linguagens livres de contexto - seção 02
-
Linguagens livres de contexto - seção 03
-
Linguagens livres de contexto - seção 04
-
Linguagens livres de contexto - atividade 01
-
Linguagens livres de contexto - atividade 02
-
Linguagens livres de contexto - atividade 03
-
Linguagens recursivamente enumeráveis e sensíveis ao contexto - seção 01
-
Linguagens recursivamente enumeráveis e sensíveis ao contexto - seção 02
-
Linguagens recursivamente enumeráveis e sensíveis ao contexto - seção 03
-
Linguagens recursivamente enumeráveis e sensíveis ao contexto - atividade 01
-
Linguagens recursivamente enumeráveis e sensíveis ao contexto - atividade 02
-
Linguagens recursivamente enumeráveis e sensíveis ao contexto - atividade 03
-
Decidibilidade e complexidade - seção 01
-
Decidibilidade e complexidade - seção 02
-
Decidibilidade e complexidade - seção 03
-
Decidibilidade e complexidade - seção 04
-
Decidibilidade e complexidade - atividade 01
-
Decidibilidade e complexidade - atividade 02
-
Decidibilidade e complexidade - atividade 03
-
