INSTITUTO SUPERIOR DE TRANSPORTES E COMUNICAÇÕES

———————————————————————————————————————————–
Matemática Discreta Turma I21 2.o Ano, 09.07.2020
Teste 3 Duração: 90 + 20 Minutos
Guião de Correcção

Parte 1 35 Pontos

1. Durante as aulas de Matemática Discreta, aprendeu sobre os Algoritmos de Dijkstra, Kruskal

e Prim. Os três algoritmos usam um termo comum “minı́mo” qual desses algoritmos, escolha
a resposta correcta das suas caracteristicas nesta mesma ordem:

(a) “Árvore minı́ma partindo do vértice”, (b) “Caminho minı́mo entre dois vértices”,
“Caminho minı́mo entre vértices”, “Árvore minı́ma partindo do vértice”,
“Árvore minı́ma partido da aresta” “Árvore minı́ma partido da aresta”

(c) “Caminho minı́mo entre dois vértices”, (d) “Árvore minı́ma partido de um vértice”
“Árvore minı́ma partindo de uma aresta”, “Árvore minı́ma entre dois vértices”,
“Árvore minı́ma partido de um vértice” “Árvore minı́ma partindo de uma aresta”,

(e) Nenhuma opção é correcta

Resolução: (c)
Pelas definições de cada algoritmo, temos que:

Algoritmo de Dijkstra: permite-nos encontrar o caminho minı́mo entre dois vértices de a

para z;
Algoritmo de Kruskal: inicializa a construção de uma árvore mı́nima com uma aresta orde-
nada, gera uma floresta;
Algoritmo de Prim: inicializa a construção de uma árvore mı́nima com uma vértice, gera
uma árvore única.

2. Indique a gramática regular que é gerada pela linguagem L(G) = {an abm : n ≥ 0, m ≥ 1}?

(a) {S → aS|bA, A → bA|b|λ} (b) {S → aS|bA, A → bA|b}

(c) {S → aS|Sb, A → bA|b|λ} (d) {S → Aa|bS, A → bA|b|λ}
(e) {S → bS|aA, A → bA|b}

Resolução: (e)
Pergunta será parcialmente inválidada, porque o enunciado não tem resposta correcta nessas
opções. Deste modo, esta pergunta vai passar a valer 5 pontos e todos terãos, esses pontos. Os
restantes 5 pontos vao passar para a Pergunta 1 da PARTE 2.

3. De todas gramática, indique a gramática que é gerada pela linguagem L(G) = {abn a : n ≥ 0}.

(a) {S → Sb, S → aA, A → a} (b) {S → aA, A → bA, A → a}

(c) {S → aS, A → bA, A → a, A → λ} (d) {S → aSb, S → bA, A → a}
(e) Todas

1
 Resolução: (b)

Todas palavras em L contém o apenas um a à esquerda e outro à direita, isto é, G deve
ter a produção S → aA, deste termo, temos o termo recursivo A → bA. Assim, destas duas
produções, podemos derivar todo alfabeto de abn A. Por fim, para definir a gramática será
necessário a produção de A → a. Assim,

N = {S, A}, T = {a, b} e P = {S → aA, A → bA, A → a.}

4. Considere o autómato
b a a

b
a b a
S0 S1 S2 S3 S4
a

b b
Indique o conjunto de linhas que são aceites pelo autómato:

(a) {a3 b2 ab, ab3 a} (b) {aabab2 , ab2 a}

(c) {bbab2 , bab2 ba} (d) {a3 b2 ab, ab2 a}
(e) {ab2 a, a2 b2 b}

Resolução: (d)
O autómato aceita linhas que contém abba, por exemplo, linha a3 b2 ab pode ser descrito como
aaabbab com o seguinte caminho

S0 → S1 → S1 → S1 → S2 → S3 → S4 → S4 .

De modo análogo, faz-se para as outra linha.

2
Parte 2 65 Pontos

1. A teoria dos grafos é um ramo da matemática que estuda as relações entre os objectos de um
determinado conjunto. Determine o caminho mı́nimo do vértice A para os restantes vértices.
. 30 Pontos

Resolução:
V A B C D E F G H I J K Caminhos
- 0 ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞
A - 2 ∞ ∞ ∞ ∞ ∞ 1 8 ∞ ∞ AB,AH,AI
A,H - 2 ∞ ∞ ∞ ∞ 10 - 8 ∞ ∞ AHG
A,H,B - - 3 ∞ ∞ ∞ 10 - 8 ∞ ∞ ABC
A,H,B,C - - - 5 ∞ ∞ 10 - 8 6 12 ABCD,ABCJ,ABCK
A,H,B,C,D - - - - 14 ∞ 10 - 8 6 12 ABCDE
A,H,B,C,D,J - - - - 14 ∞ 10 - 7 - 12 ABCJI
A,H,B,C,D,J,I - - - - 14 ∞ 9 - - - 12 ABCJIG
A,H,B,C,D,J,I,G - - - - 14 10 - - - - 12 ABCJIGF
A,H,B,C,D,J,I,G,F - - - - 14 - - - - - 11 ABCJIGFK
A,H,B,C,D,J,I,G,F,K - - - - 13 - - - - - - ABCJIGFKE
A,H,B,C,D,J,I,G,F,K,E - - - - - - - - - - - —–

2. Considere a gramática G = (N, T, P, S) onde N = {S, A}, T = {a, b, c} com

P = {S → aS, S → bbA, A → bbAc, A → bbc}.

Ache a linguagem L(G) gerada pela gramática G. 20 Pontos

Resolução: Com a regra (1) podemos efectuar a seguinte derivação:

S → aS → aaS → aaaS → · · · · · · → an S, onde n ≥ 0.

Efectuando a derivação com as regras (2, 3 e 4) teremos:

· · · → an bbA → an bbbbAc · · · → an bbbbbbAcc → · · · · · · → an bbb2m cm .

Portanto,
L(G) = {an b2m+2 cm : n ≥ 0, m ≥ 1}

3. Desenhe um autómato finito (dinâmico) que reconheça palavras em a e b em que todas as

palavras começam em a e terminam em bb. 15 Pontos

3
Resolução:
a b

b
a b
S0 S1 S2 S3
a