Ybadoo - Soluções em Software Livre
Tutoriais
Linguagens Formais e Autômatos

Teoria dos Autômatos. Classificação das Gramáticas e suas Correlações com Autômatos. Tipos de Reconhecedores. Autômatos de Estados Finitos. Linguagens Regulares, Livres de Contexto e Sensíveis ao Contexto. Operações com Linguagens. Propriedades das Linguagens. Autômatos de Pilha.

01. Conceitos Básicos

02. Autômatos Finitos Determinísticos

03. Autômatos Finitos Não-Determinísticos

04. Autômatos Finitos com Movimentos Vazios

05. Expressões Regulares

06. Conversão de Expressões Regulares para Autômatos Finitos Determinísticos

07. Gramáticas Livre do Contexto

08. Simplificação de Gramáticas Livre do Contexto

09. Hierarquia de Chomsky

Aho, Alfred V. (2008). Compiladores: princípios, técnicas e ferramentas. 2ª edição. São Paulo: Pearson Addison-Wesley. 634 páginas.

Diverio, Tiarajú Asmuz. (2000). Teoria da Computação: máquinas universais e computabilidade. 2ª edição. Porto Alegre: Instituto de Informática da UFRGS: Sagra Luzzatto. 224 páginas.

Jargas, Aurélio Marinho. (2001). Expressões Regulares. São Paulo: Novatec. 96 páginas.

Lewis, Harry R. (2000). Elementos de Teoria da Computação. 2ª edição. Porto Alegre: Bookman. 339 páginas.

Menezes, Paulo Fernando Blauth. (2000). Linguagens Formais e Autômatos. 4ª edição. Porto Alegre: Instituto de Informática da UFRGS: Sagra Luzzatto. 165 páginas.

Price, Ana Maria de Alencar. (2005). Implementação de Linguagens de Programação: compiladores. 3ª edição. Porto Alegre: Instituto de Informática da UFRGS: Sagra Luzzatto. 212 páginas.

Ramos, Marcus Vinícius Midena. (2009). Linguagens Formais: teoria, modelagem e implementação. Porto Alegre: Bookman. 656 páginas.

Ricarte, Ivan. (2008). Introdução à Compilação. Rio de Janeiro: Elsevier. 264 páginas.

Sebesta, Robert W. (2000). Conceitos de Linguagens de Programação. 4ª edição. Porto Alegre: Bookman. 624 páginas.

Sipser, Michael. (2007). Introdução à Teoria da Computação. 2ª edição. São Paulo: Thomson Learning. 459 páginas.