Sumários

Aula Teórica 1

27 setembro 2011, 10:00 Maria Paula Antunes Abrantes Gouveia

Apresentação: Programa, bibliografia, método de avaliação. Recconhecimento e especificação de linguagens: motivação. Alfabeto, palavra sobre alfabeto, comprimento de palavra, linguagem sobre alfabeto. Exemplos. Representação gráfica de um autómato finito determinístico que reconhece a linguagem das palavras sobre {0,1,2,3,4,5,6,7,8,9,,:} do tipo H:M com H em {00,01,...,23} e M em {00,10,...,59}.


Aula Teórica 1

27 setembro 2011, 08:30 Maria Paula Antunes Abrantes Gouveia

Apresentação: Programa, bibliografia, método de avaliação. Recconhecimento e especificação de linguagens: motivação. Alfabeto, palavra sobre alfabeto, comprimento de palavra, linguagem sobre alfabeto. Exemplos. Representação gráfica de um autómato finito determinístico que reconhece a linguagem das palavras sobre {0,1,2,3,4,5,6,7,8,9,,:} do tipo H:M com H em {00,01,...,23} e M em {00,10,...,59}.


Aula Prática 1

27 setembro 2011, 08:30 Manuel Biscaia Martins

Lista de exercícios para a  aula prática 1 : exercícios 1.1 a) b) c) d) i), 1.3 a) b) c) d) e) f) p), 1.5  relativamente às alíneas indicadas para o exercício 1.3, 2.1 c) d) e) f) g) h.

Breve referência às propriedades indicadas nos exercícios 1.2, 1.4, 1.6 e 1.7.

 


Not Taught.

23 setembro 2011, 12:00 Maria Paula Antunes Abrantes Gouveia

As aulas do 1o ano tiveram início a 26 de Setembro


Not Taught.

22 setembro 2011, 12:00 Maria Paula Antunes Abrantes Gouveia

As aulas do 1o ano tiveram início a 26 de Setembro