-
09Out2003 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).
- 16Out2003 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.
- 23Out2003 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.
- 30Out2003 Minimização de Autómatos.
Exercício de Avaliação 4
[Resolução pdf,
ps].
Exercícios 1.3.12, 1.3.2, 1.3.7a), 1.3.7b).
- 06Nov2003 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.5.
- 13Nov2003 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).
- 20Nov2003 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).
- 27Nov2003 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).
- 04Dez2003 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).
- 11Dez2003 Funções URM-computáveis.
Exercícios 1.2h), 1.2p), 1.2r) e 1.2t).
- 18Dez2003