Prática #04

23 março 2020, 19:53 • Carlos Caleiro

Os exercícios para a aula prática 4, sobre especificação de máquinas de Turing não-deterministas, são:  capítulo 2, exercícios 5.1, 5.2, 5.6, 5.3 e 5.5.

Teórica #09

23 março 2020, 19:51 • Carlos Caleiro

propriedades de fecho das linguagens decidíveis
propriedades de fecho das linguagens reconhecíveis

Teórica #08

16 março 2020, 18:01 • Carlos Caleiro

repetição em lista - máquina não determinista

Esclarecimento de dúvidas

16 março 2020, 17:47 • Carlos Caleiro

Foi criada uma sala de dúvidas virtual no Slack (ver separador Ensino à distância).

Prática #03

16 março 2020, 17:37 • Carlos Caleiro

Os exercícios para a próxima aula prática, sobre especificação de máquinas de Turing multifita, são:  capítulo 2, exercícios 3.15 (fazer com 2 fitas), 4.2, 4.4, 4.11 e 4.8.