UNIVERSIDADE EDUARDO MONDLANE

Curso de Engenharia de Engenharia Informática

Matemática Discreta II Teste 2 Duração: 100 min. 15/11/2019

1. (3.0) Aplicando o algoritmo de Prim, determine a árvore geradora mı́nima do grafo (use o
vértice a como vértice inicial)

2. (3.0) Construa um fluxo máximo e um corte mı́nimo para a rede

3. (2.5) Considere uma árvore binária cujos percursos em pré-ordem e in-ordem são g,b,q,a,c,p,d,e,r
e q,b,c,a,g,p,e,d,r, respectivamente. Desenhe a árvore;

4. (3.0) Considere a gramática G = ({S, A, B, C, D}, {a, b}, P, S), onde

P = {S → ABCD, A → abA|baA|λ, B → a, C → a|b, D → a|b}

(a) Classifique a gramática.

(b) Especifique uma gramática regular (se possı́vel) que gera L(G).

5. (2.5) Seja L = {w ∈ {a, b}∗ : w 6= λ e w não contêm a sub-palavra aa}. Determine uma
gramática regular que gera L.

6. (3.0) Especifique um autómato finito determinı́stico que, de entre as palavras sobre {a, b}
aceite apenas as palavras que começam por a e os três últimos sı́mbolos são iguais.
Matemática Discreta II Teste 1 Página 2 of 2

7. (3.0) Considere o autómato

(a) Especifique uma gramática regular que gera a linguagem reconhecida pelo autómato;
(b) A linguagem L = {(ab)n a2m+1 : n, m ∈ N} é é reconhecida pelo autómato? Justifique!

Docente: Timóteo Sambo 2019