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