Fundamentos da Teoria da Computação: Aulas

Fundamentos da Teoria da Computação

Registro de aulas e provas

27/7, terça, 13h Aula 1	Alfabetos e Linguagens

29/7, quinta, 13h Aula 2	Representações de Linguagens

3/8, terça, 9h Aula 3	Representações de Linguagens (continuação)

5/8, quinta, 13h Aula 4	Autômatos Finitos Determinísticos Componentes, funcionamento, definição formal

9/8, segunda, 9h Aula 5	Exemplos de AFD's

12/8, quinta, 13h Aula 6	Autômatos Finitos Não Determinísticos Não determinismo, definição formal

16/8, segunda, 9h Aula ?	Não houve aula

19/8, quinta, 13h Aula ?	Não houve aula

23/8, segunda, 9h Aula 7	Exemplos de AFND's

26/8, quinta, 13h Aula ?	Não houve aula

30/8, segunda, 9h Aula 8	Autômatos Finitos e Expressões Regulares

2/9, quinta, 13h Aula 9	Autômatos Finitos e Expressões Regulares

6/9, segunda, 9h Aula ?	Não houve aula

9/9, quinta, 13h Aula 10	Autômatos Finitos e Expressões Regulares

13/8, segunda, 9h Aula 11	Linguagens que são e não são Regulares

16/9, quinta, 13h Aula 12	Linguagens que são e não são Regulares Minimização de estados

20/9, segunda, 9h Aula 13	Minimização de Estados

23/9, quinta, 13h Aula 14	Aula de Exercícios

27/9, segunda, 9h Aula 15	Prova 1

30/9, quinta, 13h Aula 15	Gramáticas Livres de Contexto Motivação e Exemplos

4/10, segunda, 9h Aula 15	Gramáticas Livres de Contexto Exemplos

7/10, quinta, 13h Aula 15	Árvores de Derivação

11/10, segunda, 9h Aula ?	Semana do saco cheio

14/10, quinta, 13h Aula ?	Semana do saco cheio

18/10, segunda, 9h Aula ?	Não houve aula

21/10, quinta, 13h Aula 16	Árvores de Derivação

25/10, segunda, 9h Aula 17	Transformação de uma GLC em um AP

28/10, quinta, 13h Aula ?	Não houve aula

1/10, segunda, 9h Aula ?	Feriado

4/11, quinta, 13h Aula 18	Transformação de uma GLC em um AP (exemplo) Transformação de um AP em uma GLC

8/11, segunda, 9h Aula 19	Transformação de um AP em uma GLC (continuação)

11/11, quinta, 13h Aula 20	Transformação de um AP em uma GLC (exemplo) Linguagens que são e que não são livres de contexto Fecho da união, concatenação e estrela de Kleene

15/11, segunda, 9h Aula ?	Feriado

18/11, quinta, 13h Aula 21	Linguagens que são e que não são livres de contexto Teorema Pumping Exemplos de linguagens que não são livres de contexto Intersecção e complementação

22/11, segunda, 9h Aula 22	Aula de dúvidas

25/11, quinta, 13h Aula 23	Prova 2