Linguagens Formais e Autômatos

Linguagens Formais e Autômatos (Bacharelado em Ciência da Computação) - 6883

Linguagens Formais e Autômatos (Bacharelado em Informática) - 11920

• Introduação (slides);

• Conceitos Básicos (miniatura – grande);

  • Lista de Exercícios 1 – Conceitos Básicos;

• Slides: AFD, AFND, Transformação AFND-AFD e Minimização de AFD (miniatura – grande);

  • Lista de Exercícios 2 – Autômato Finito Determinístico;

• Artigo “Modelagem de uma Vending Machine utilizando um Autômato Finito com Saída”;

  •  Lista de Exercícios 3 – AFND, Transformação AFND-AFD e Minimização de AFD;

• Slides: Expressões Regulares (miniatura – grande);

  • Lista de Exercícios 4 – Expressões Regulares, Autômatos (tabela de transição);

• Slides: Gramática (miniatura – grande);

  • Lista de Exercícios 5 – Gramática;

• Slides: Gramática Livre de Contexto – simplificação e formas normais (miniatura – grande);

  • Lista de Exercícios 5a – GLC e FNC;

  • Lista de Exercícios 5b – GLC e FNG;

  • Lista de Exercícios 5c – GLC e FNG;

• Slides: Algoritmos CYK (miniatura – grande);

  • Lista de Exercícios 6 – CYK;

• Slides: Autômato com Pilha (miniatura – grande);

  • Lista de Exercícios 7 – Autômato com Pilha;

• Slides: Máquina de Turing (miniatura – grande);

  • Lista de Exercícios 8 – Máquina de Turing;