Sumários

9 Outubro 2020, 11:30 • André Souto

Resolução de exercícios sobre FA's da primeira folha de exercícios.

Resolução de exercícios sobre expressões regualres da segunda folha de exercícios.

Aula em regime síncrono alternado transmitida via Zoom.

9 Outubro 2020, 08:00 • André Souto

Resolução de exercícios sobre FA's da primeira folha de exercícios.

Resolução de exercícios sobre expressões regualres da segunda folha de exercícios.

Aula em regime síncrono alternado transmitida via Zoom.

9 Outubro 2020, 08:00 • Andreia Mordido

Resolução de exercícios sobre autómatos finitos da primeira folha de exercícios.

Resolução de exercícios sobre expressões regulares da segunda folha de exercícios.

Aula em regime síncrono alternado.

7 Outubro 2020, 09:30 • André Souto

Necessidade do Lema de bombeamento.

Enunciado e prova do lema de bombeamento para linguagens regulares.

Uso do lema de bombeamento e erros comuns no seu uso para demonstrar que uma dada linguagem não é regular.

Exemplos de linguagens não regulares e prova (usando o lema de pumping por contradição) para mostrar que elas não são regulares.

Secção 1.4 do livro do Sipser.

Aula em regime SNP transmitida via Zoom.

7 Outubro 2020, 08:00 • Andreia Mordido

Resolução de exercícios sobre autómatos finitos da primeira folha de exercícios.

Resolução de exercícios sobre expressões regulares da segunda folha de exercícios.

Aula em regime síncrono alternado.