-
06Out2003 Construção de Autómatos Finitos Deterministas. Exercício
de Avaliação 1
[Resolução pdf,
ps].
Exercícios 1.1.1, 1.1.4a), 1.1.5a), 1.1.6a), 1.1.8a).
- 13Out2003 Verificação de Aceitação de Sequências por Autómatos Finitos Deterministas.
Propriedades de fecho de linguagens regulares.
Exercício de Avaliação 2
[Resolução pdf,
ps].
Exercícios 1.1.17a), 1.1.17b), 1.2.7, 1.2.9, 1.2.10, 1.2.11.
- 20Out2003 Propriedades de fecho de linguagens regulares - Intersecção.
Exercício de Avaliação 3
[Resolução pdf,
ps].
Exercícios 1.2.4, 1.2.5, 1.2.14.
- 27Out2003 Minimização de Autómatos.
Exercício de Avaliação 4
[Resolução pdf,
ps].
Exercícios 1.3.12, 1.3.3, 1.3.7a), 1.3.7b).
- 03Nov2003 Equivalência de Autómatos. Construção de Autómatos Finitos Não Deterministas.
Verificação de Aceitação de Sequências por Autómatos Finitos Não Deterministas.
Exercício de Avaliação 5
[Resolução pdf,
ps].
Exercícios 1.3.6, 1.5.2a), 1.5.2b), 1.5.3, 1.5.4, 1.5.5a).
- 10Nov2003 Passagem de Autómatos Finitos Não Deterministas para Autómatos Finitos Não Deterministas.
Construção de Gramáticas Regulares e Derivação de Sequência em Gramática Regular.
Exercício de Avaliação 6
[Resolução pdf,
ps].
Exercícios 1.5.5b), 1.5.10c), 2.1a), 2.1b), 2.6c), 2.6g), 2.6j).
- 17Nov2003 Expressões regulares. Passagem de Gramática Regular para Expressão Regular.
Exercício de Avaliação 7
[Resolução pdf,
ps].
Exercícios 3.1, 3.4d), 3.4e), 3.4g), 3.4j), 3.9a), 3.9d), 3.10a), 3.10b), 4.1a), 4.1b), 4.3a), 4.4a).
- 24Nov2003 Passagem de Autómatos Finitos Não Deterministas para Gramática Regular.
Passagem de Gramática Regular para Autómatos Finitos Não Deterministas. Passagem de Autómato Finito
para Expressão Regular. Passagem de Expressão Regulas a Autómato Finito Não Determinista com Movimentos epsilon.
Exercício de Avaliação 8
[Resolução pdf,
ps].
Exercícios 4.6b), 4.8a), 4.15, 4.21d), 4.21f) e 4.22c).
01Dez2003 (Feriado) - Aula de Substituição no dia 03Dez2003, das 14h00 às 16h00, na sala F1.
- 03Dez2003 Realização de fluxogramas a partir de programas URM e indicação de funções de
diferentes aridades calculadas por esses programas. Funções URM-computáveis.
Predicados URM-decidiveis.
Exercício de Avaliação 9
[Resolução pdf,
ps].
Exercícios 1.1d), 1.1e), 1.2c), 1.2d) e 1.3h).
08Dez2003 (Feriado) - Aula de Substituição no dia 10Dez2003, das 14h00 às 16h00, na sala F1.
- 10Dez2003 Funções URM-computáveis.
Exercícios 1.2h), 1.2p), 1.2r) e 1.2t).
- 17Dez2003