Universidade Eduardo Mondlane

Departamento de Matemática e Informática

Curso de Engenharia Informática
Duração: 100 min. Teste 2 de Matemática Discreta II-Segunda Chamada 21/11/2018
1. (2.5) Aplicando o algoritmo de Dijkstra, determine os caminhos mı́nimos de a para os
restantes vértices.

2. (3.5) Determine o fluxo máximo que a rede pode suportar. Justifique, calculando o respectivo
corte mı́nimo.

3. (3.0) Classifique a linguagem L = {a2n b2n : n ∈ N}

4. (3.0) Considere os seguintes autómatos

Prove ou refute a afirmação: os autómatos A e A0 são equivalentes.

5. (3.5) Especifique um autómato finito que aceite apenas as palavras de
L = {an bm : n ≥ 1, m ≥ 0} ∪ {ban bm : n ≥ 1, m ≥ 0}

6. (3.5) Especificar um autómato de estados finitos, que de entre as palavras que se escrevem
com os sı́mbolos do alfabeto {a, b}, reconheça as que começam com ab e terminam em bab.

Docente: Timóteo Sambo 2018