Disciplinas UFC

Teoria dos Autômatos e Linguagens Formais

Parte I:  Os autômatos finitos

• aula 01:   Os autômatos finitos
• aula 02:   Máquinas e programas
• aula 03:   Palavras padrões e propriedades
• aula 04:   O padrão repetitivo
• aula 05:   Raciocinando sobre caminhos e laços
• aula 06:   ( . . . )

Parte II:  Expressões regulares

• aula 07:   Expressões regulares
• aula 08:   Autômatos e expressões regulares
• aula 09:   Autômatos não-determinísticos
• aula 10:   Removendo o não-determinismo do autômato
• aula 11:   Raciocinando sobre linguagens
• aula 12:   O autômato mínimo
• aula 13:   O autômato bidirecional (opcional)
• aula 14:   (A máquina que escreve)
• aula 15:   Linguagens não-regulares

Parte III:  O autômato de pilha

• aula 16:   O autômato de pilha
• aula 17:   Linguagens legais para autômatos de pilha
• aula 18:   O padrão recursivo
• aula 19:   Recursão no autômato de pilha

Parte IV:  Gramáticas

• aula 20:   Gramáticas
• aula 21:   Linguagens, gramáticas e autômatos de pilha
• aula 22:   Raciocínio recursivo com gramáticas
• aula 23:   Gramáticas e autômatos
• aula 24:   Autômatos de pilha e gramáticas
• aula 25:   O lema do bombeamento