Prof. Marcus Ramos - Linguagens Formais e Autômatos

Linguagens Formais e Autômatos

Período letivo 2023.2 (2023.1 no SIGA):

Campus Juazeiro
Terças, das 14:00 às 16:00 hs, sala 20
Quintas, das 14:00 às 16:00 hs, sala 07
Informações gerais
Programa da disciplina

Material didático:

Linguagens Formais: Teoria e Conceitos
Em co-autoria com os Profs. João José Neto e Ítalo Santiago Vega
Editora Blucher, 2023, ISBN 9786555067163, 608 páginas
Linguagens Formais - Exercícios e Soluções
Marcus Vinicius Midena Ramos
Novatec Editora, 2021, ISBN 978-65-86057-59-1, 336 páginas
Linguagens Formais: Teoria, Modelagem e Implementação
Em co-autoria com os Profs. João José Neto e Italo Santiago Vega
Editora Bookman 2009. ISBN 9788577804535. 656 páginas (fora de catálogo)
Aulas gravadas
JFLAP - um simulador gráfico e interativo para experimentação com gramáticas, expressões regulares e autômatos:
- Download (renomeie para "JFLAP.jar" caso o seu S.O. modifique o nome para "JFLAP.zip")
- Site
Livro "Foundations of Computer Science" de A.V. Aho e J.D. Ullman, disponível para download gratuito na página dos autores:
- Capítulo 7 - The Set Data Model
- Capítulo 10 - Patterns, Automata, and Regular Expressions
- Capítulo 11 - Recursive Description of Patterns
Documentário Dangerous Knowledge, de David Malone para a BBC, sobre as vidas e obras de Cantor, Boltzmann, Gödel e Turing.

Slides:

Avaliações:

Aulas ministradas:

Aula 01 - 12/09/2023 - Apresentação e motivação.
Aula 02 - 14/09/2023 - Conjuuntos.
Aula 03 - 19/09/2023 - Relações e funções.
Aula 04 - 21/09/2023 - Conjuntos enumeráveis.
Aula 05 - 26/09/2023 - Símbolos, alfaabetos e cadeias.
Aula 06 - 28/09/2023 - Linguagens, fechamento reflexivo e transitivo, fechammento transitivo. Gramáticas. reconhecedores e enumerações.
Aula 07 - 03/10/2023 - Gramáticas. Exemplos e exercícios.
Aula 08 - 05/10/2023 - Exercícios de síntese gramatical.
Aula 09 - 10/10/2023 - Linguagens e gramáticas regulares.
Aula 10 - 17/10/2023 - Gramáticas regulares. Equivalência esquerda/direita. Equivalência unitária/não-unitária. Exercícios.
Aula 11 - 19/10/2023 - Conjuntos regulares. Exercícios.
Aula 12 - 24/10/2023 - Autômatos finitos.
Aula 13 - 26/10/2023 - Prova 1.
Aula 14 - 31/10/2023 - Autômatos finitos.
Aula 15 - 07/11/2023 - Equivalência entre gramáticas regulares e expressões regulares.
Aula 16 - 09/11/2023 - Equivalência entre gramáticas regulares e autômatos finitos.
Aula 17 - 14/11/2023 - Equivalência entre expressões regulares e autômatos finitos.
Aula 18 - 16/11/2023 - Minimização.
Aula 19 - 21/11/2023 - Transdutores finitos.
Aula 20 - 28/11/2023 - Pumping lemma.
Aula 21 - 30/11/2023 - Pumping lemma.
Aula 22 - 02/12/2023 - Propriedades de fechamento.
Aula 23 - 05/12/2023 - Questões decidíveis.
Aula 24 - 07/12/2023 - GLCs, BNF e EBNF.
Aula 25 - 12/07/2023 - Árvores e ambiguidade.
Aula 26 - 14/12/2023 - Prova 2.
Aulas 27, 28, 29 e 30 - Atividade.
21/12/2023 - Prova final.