KyllerCG
Decidibilidade - 30/03/2022
Gramáticas livres do contexto - 16/02/2022
GLC: árvores e ambiguidade - 23/02/2022
GLC: Forma Normal de Chomsky - 02/03/2022
Autômatos de Pilha - 11/03/2022
Máquinas de Turing - 16/03/2022
Tese de Church-Turing - 23/03/2022
Máquinas de Turing III
Máquinas de Turing II
Máquinas de Turing I
Demonstração de votação dos discentes
Demonstração da votação dos servidores
O que acontece se você tentar votar duas vezes
Dedução em Lógica de Predicados
Autômatos de pilha
Semântica da Lógica de Predicados
Gramáticas livres-do-contexto: formas normais
Árvores de derivação e ambiguidade
Gramáticas livres do contexto
SAT solvers
Lema do Bombeamento
Equivalência entre expressões regulares e autômatos finitos
Expressões regulares
Autômatos são decisores de linguagens
Fechamento das operações regulares usando AFN
Equivalência entre AFN e AFD
Autômatos finitos não determinísticos
Fechamento de operações com linguagens regulares
Operações com linguagens (2)
Autômatos finitos determinísticos