MCTA015-13 - Linguagens Formais e Automata (2020 Q1, ECE)
Professora: Carla Negri Lintzmayer, carla.negri@ufabc.edu.br
Grupo no Discord (para alunos!)
Materiais de apoio para a prova 1:
- A base da disciplina é o livro do Sipser, M.. Introdução à teoria da computação. 2a edição. Thomson Learning. 2007. (ERRATA da versão em inglês. Tanto em inglês quanto em português, existem vários errinhos.)
- Slides que foram usados na parte presencial do curso: autômatos finitos, sobre AFNs, expressões regulares.
- Videoaulas da parte não presencial do curso.
- Soluções de exercícios da lista 1.
- Sempre explique qual é o formato das cadeias que chegam em qualquer estado do seu autômato finito.
- Soluções de exercícios da lista 2.
- Sempre explique qual é o formato das cadeias que chegam em qualquer estado do seu autômato com pilha.
- Sempre explique qual é o formato das cadeias geradas pela variável da sua gramática livre de contexto. Verifique se qualquer cadeia da linguagem de fato pode ser gerada pela gramática.
- Vídeo sobre o conteúdo da prova 1.
- Programa para brincar com autômatos.
- Vídeoaulas do prof. Lucrédio da UFSCar.
Carla Negri Lintzmayer - carla.negri@ufabc.edu.br