Sumários
Aula Teórica 16
15 novembro 2012, 10:30 • Maria Paula Antunes Abrantes Gouveia
Máquina de Turing que decide a linguagem \(a^nb^nc^n\). Máquina de Turing que calcula a função \(f:\{0,2\}^*\to \{0,1,2\}^*\) dada por \(f(w)=w1w\). Operações sobre linguagens decidíveis e semi-decidíveis: (i) se \(L_1,L_2\subseteq \Sigma^*\) são decidíveis então \(L_1\cup L_2\), \(L_1\cap L_2\) e \(\Sigma^*\backslash L_2\) são decidíveis; (ii) se \(L_1,L_2\subseteq \Sigma^*\) são semi-decidíveis e se \(L_3\subseteq \Sigma^*\) é decidível então \(L_1\cap L_2\), \(L_1\cup L_3\) e \(L_1\backslash L_3\) são semi-decidíveis.
Aula Prática 9
15 novembro 2012, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 2.1 a) b), 2.2 a) e) g) e 2.3 a) e) da lista de exercícios para a aula prática 8.
Aula Prática 8
13 novembro 2012, 12:00 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1 b) e c), 1.4, 2.1 a) b), 2.2 a) da lista de exercícios para a aula prática 8.
Aula Teórica 15
13 novembro 2012, 10:00 • Maria Paula Antunes Abrantes Gouveia
Realização do teste 2.
Aula Teórica 15
13 novembro 2012, 08:30 • Maria Paula Antunes Abrantes Gouveia
Realização do teste 2.