Sumários

31 Outubro 2018, 09:30 • André Souto

Definição e motivação para os autómatos de pilha.

Definição formal de autómato de pilha.

Exemplos.

Noção de configuração num autómato de pilha.

Noção de derivação e computação num PDA.

Linguagem reconhecida por um PDA.

Equivalência entre PDA e gramáticas livres de contexto.

Exemplos de construção.

Estudar secção 2.2 do Sipser.

31 Outubro 2018, 08:00 • André Souto

Resolução de exercícios da folha nº5 sobre gramáticas livres de contexto.

30 Outubro 2018, 11:00 • Andreia Mordido

Resolução de exercícios da folha nº5 sobre gramáticas livres de contexto.

30 Outubro 2018, 10:30 • André Souto

Resolução de exercícios da folha nº5 sobre gramáticas livres de contexto.

30 Outubro 2018, 09:30 • André Souto

Recapitulação da forma normal de Chomsky.

Introdução aos autómatos de pilha. Diferenças para um autómato finito.

Exemplos de motivação.

Definição de autómato de pilha.

Noção de computação num autómato de pilha.

Exemplos.

Estudar a secção 2.2 do Sipser.