UNIVERSIDADE EDUARDO MONDLANE

Curso de Engenharia de Engenharia Informática

Matemática Discreta II Teste 2 Duração: 100 min. 13/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.5) Construa um fluxo máximo e um corte mı́nimo para a rede

3. (3.0) Considere a árvore

T = lig(+, lig(↑, a, d), lig(∗, x, lig(−, y, lig(/, h, k))))

Ache g(T ), se g : Areg → N é definida recursivamente por

(B) g(r) = 1;
(R) g(lig(r, T1 , T2 )) = 1 + 2g(T1 ) + 3g(T2 ).

4. (4.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. (3.0) Especifique um autómato finito determinı́stico que, de entre as palavras sobre {a, b}
aceite apenas as palavras nas quais os três primeiros sı́mbolos são iguais.
Matemática Discreta II Teste 1 Página 2 of 2

6. (3.5) 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