UNIVERSIDADE EDUARDO MONDLANE

Faculdade de Ciências
Teste 3 de Matemática Discreta II V1 Data: 03.11.14
Curso: Engenharia Informática Regime: Laboral& Pós-laboral
1. (3.0 v) Aplicando o algoritmo de Dijkstra, ache os caminhos mínimos de S para os restantes vértices do grafo

2. (3.5 v) Considere a rede com uxo inicial de 11 unidades

Calcule o uxo máximo que a rede pode suportar. Justique, aplicando o Teorema de Ford-Fulkerson.
3. (3.0 v) Construa um autómato nito que aceite palavras sobre o conjunto {a, b} que começam por aa e
terminam por ba.

(10.5 v) Escolha a alternativa correcta

4. Seja Σ = {a, b} e a linguagem regular

L = {w : w ∈ Σ∗ e o número de a's em w é par}

Qual das gramáticas gera essa linguagem?

A G = ({A}, {a, b}, {A → aaAb|aab}, A)
B G = ({A, B}, {a, b}, {A → bA|aB|λ, B → bB|aA}, A)
C G = ({A, B, C}, {a, b}, {A → BC, B → aaB|λ, C → bC|b}, A)
D G = ({A, B}, {a, b}, {A → bA|aB, B → bB|aA|λ}, A)
5. Considere a gramática G denida pelas regras de produção
S → AB, AB → AAB, A → a, B → b

em que os simbolos não terminais são S, A e B e os símbolos terminais são a e b. Com relação a gramática,
é correcto arma que:
A A gramática G é uma gramática livre de contexto; B aabbb ∈ L(G)
C λ ∈ L(G) D A gramática G é uma gramática sensível ao contexto;
6. Considere a linguagem L = {an b2n c : n ≥ 0} Analise as armações
I. L é uma linguagem livre de contexto.
II. L não pode ser reconhecida por um autómato nito.
 III. A gramática G = ({S, X}, {a, b, c}, {S → Xc, X → aXbb|λ}, S) gera a linguagem L
A análise permite concluir que estão correctas:
A Apenas as armações I e II; B Apenas as armações I e III;
C todas as armações; D Apenas as armações II e III;
7. Considerado as liguagens L1 = {an bm a2n : m ≥ 0, n ≥ 0} e L2 = {am baban : m ≥ 0, n ≥ 1} sobre
Σ = {a, b}, considere as armações :
I. L1 é uma liguagem regular;
II. A linguagem L1 pode ser gerada pela gramática G = ({X, Y }, {a, b}, {X → aXaa|Y, Y → bY |λ}, X)
III. L2 é uma liguagem regular;
A análise permite concluir que estão correctas:
A Somente as armações I e II; B Somente as armações I e III;
C Todas as armações ; D Somente as armações II e III;
8. Que linha é aceitável pelo autómato nito representado pelo diagrama de transições

A bababa; B aabbaabb C bbbabbaaa ; D bbbbbaaa;

9. Considere o autómato nito a seguir,

Que autómato nito com f como função de transição de estados aceita a mesma linguagem?
A Estado inicial s0 estados aceitáveis s2 e s3 e f (s0 , b) = s1 ; f (s1 , a) = s2 ; f (s2 , a) = s3 .
B Estado inicial s0 estados aceitáveis s3 e f (s0 , b) = s1 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ; f (s1 , b) = s2
f (s2 , a) = s3 .
C Estado inicial s0 estados aceitáveis s3 e f (s0 , a) = s1 ; f (s0 , b) = s0 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ;
f (s2 , a) = s1 ; f (s2 , b) = s2 ; f (s3 , a) = s3 ; f (s3 , b) = s2 .
D todas as respostas acima estão correctas;
10. Caracterize a linguagem aceitável pelo autómato com S = {s0 , s1 , s2 , s3 }, A = s2 , estado inicial s0 e cuja
função de transição é

A palavras que contém bb; B palavras que começam por b e contém bb;
C palavras que terminam por bb; D palavras que contém exactamente dois b's.
Docente: Timóteo Sambo
 UNIVERSIDADE EDUARDO MONDLANE
Faculdade de Ciências
Teste 3 de Matemática Discreta II V2 Data: 03.11.14
Curso: Engenharia Informática Regime: Laboral& Pós-laboral
1. (3.0 v) Aplicando o algoritmo de Dijkstra, ache os caminhos mínimos de S para os restantes vértices do grafo

2. (3.5 v) Considere a rede com uxo inicial de 11 unidades

Calcule o uxo máximo que a rede pode suportar. Justique, aplicando o Teorema de Ford-Fulkerson.
3. (3.0 v) Construa um autómato nito que aceite palavras sobre o conjunto {a, b} que começam por aa e
terminam por ba.

(10.5 v) Escolha a alternativa correcta

4. Seja Σ = {a, b} e a linguagem regular

L = {w : w ∈ Σ∗ e o número de a's em w é par}

Qual das gramáticas gera essa linguagem?

A G = ({A}, {a, b}, {A → aaAb|aab}, A)
B G = ({A, B}, {a, b}, {A → bA|aB|λ, B → bB|aA}, A)
C G = ({A, B, C}, {a, b}, {A → BC, B → aaB|λ, C → bC|b}, A)
D G = ({A, B}, {a, b}, {A → bA|aB, B → bB|aA|λ}, A)
5. Considere a gramática G denida pelas regras de produção
S → AB, AB → AAB, A → a, B → b

em que os simbolos não terminais são S, A e B e os símbolos terminais são a e b. Com relação a gramática,
é correcto arma que:
A A gramática G é uma gramática sensível ao contexto; B λ ∈ L(G)
C aabbb ∈ L(G) D A gramática G é uma gramática livre de contexto;
6. Considere a linguagem L = {an b2n c : n ≥ 0} Analise as armações
I. L não pode ser reconhecida por um autómato
II. A gramática G = ({S, X}, {a, b, c}, {S → Xc, X → aXbb|λ}, S) gera a linguagem L nito.
 III. L é uma linguagem livre de contexto.
A análise permite concluir que estão correctas:
A Apenas as armações I e II; B Apenas as armações I e III;
C Apenas as armações II e III; D todas as armações.
7. Considerado as liguagens L1 = {an bm a2n : m ≥ 0, n ≥ 0} e L2 = {am baban : m ≥ 0, n ≥ 1} sobre
Σ = {a, b}, considere as armações :
I. L1 é uma liguagem regular;
II. A linguagem L1 pode ser gerada pela gramática G = ({X, Y }, {a, b}, {X → aXaa|Y, Y → bY |λ}, X)
III. L2 é uma liguagem regular;
A análise permite concluir que estão correctas:
A Somente as armações I e II; B Somente as armações I e III;
C Somente as armações II e III; D Todas as armações
8. Que linha é aceitável pelo autómato nito representado pelo diagrama de transições

A aabbaabb; B bababa; C bbbbbaaa; D bbbabbaaa.

9. Considere o autómato nito a seguir,

Que autómato nito com f como função de transição de estados aceita a mesma linguagem?
A Estado inicial s0 estados aceitáveis s2 e s3 e f (s0 , b) = s1 ; f (s1 , a) = s2 ; f (s2 , a) = s3 .
B Estado inicial s0 estados aceitáveis s3 e f (s0 , b) = s1 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ; f (s1 , b) = s2
f (s2 , a) = s3 .
C Estado inicial s0 estados aceitáveis s3 e f (s0 , a) = s1 ; f (s0 , b) = s0 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ;
f (s2 , a) = s1 ; f (s2 , b) = s2 ; f (s3 , a) = s3 ; f (s3 , b) = s2 .
D todas as respostas acima estão correctas;
10. Caracterize a linguagem aceitável pelo autómato com S = {s0 , s1 , s2 , s3 }, A = s2 , estado inicial s0 e cuja
função de transição é

A palavras que contém exactamente dois b's; B palavras que contém exactamente dois b's;
C palavras que terminam por bb; D palavras que começam por b e contém bb.
Docente: Timóteo Sambo
 UNIVERSIDADE EDUARDO MONDLANE
Faculdade de Ciências
Teste 3 de Matemática Discreta II V3 Data: 03.11.14
Curso: Engenharia Informática Regime: Laboral& Pós-laboral
1. (3.0 v) Aplicando o algoritmo de Dijkstra, ache os caminhos mínimos de S para os restantes vértices do grafo

2. (3.5 v) Considere a rede com uxo inicial de 11 unidades

Calcule o uxo máximo que a rede pode suportar. Justique, aplicando o Teorema de Ford-Fulkerson.
3. (3.0 v) Construa um autómato nito que aceite palavras sobre o conjunto {a, b} que começam por aa e
terminam por ba.

(10.5 v) Escolha a alternativa correcta

4. Seja Σ = {a, b} e a linguagem regular

L = {w : w ∈ Σ∗ e o número de a's em w é par}

Qual das gramáticas gera essa linguagem?

A G = ({A}, {a, b}, {A → aaAb|aab}, A);
B G = ({A, B, C}, {a, b}, {A → BC, B → aaB|λ, C → bC|b}, A);
C G = ({A, B}, {a, b}, {A → bA|aB, B → bB|aA|λ}, A);
D G = ({A, B}, {a, b}, {A → bA|aB|λ, B → bB|aA}, A).
5. Considere a gramática G denida pelas regras de produção
S → AB, AB → AAB, A → a, B → b

em que os simbolos não terminais são S, A e B e os símbolos terminais são a e b. Com relação a gramática,
é correcto arma que:
A A gramática G é uma gramática sensível ao contexto; B G é uma gramática livre de contexto;
C λ ∈ L(G) D aabbb ∈ L(G)
6. Considere a linguagem L = {an b2n c : n ≥ 0} Analise as armações
I. L não pode ser reconhecida por um autómato nito.
II. L é uma linguagem livre de contexto.
 III. A gramática G = ({S, X}, {a, b, c}, {S → Xc, X → aXbb|λ}, S) gera a linguagem L
A análise permite concluir que estão correctas:
A Apenas as armações I e II; B Apenas as armações I e III;
C todas as armações; D Apenas as armações II e III;
7. Considerado as liguagens L1 = {an bm a2n : m ≥ 0, n ≥ 0} e L2 = {am baban : m ≥ 0, n ≥ 1} sobre
Σ = {a, b}, considere as armações :
I. L2 é uma liguagem regular;
II. L1 é uma liguagem regular;
III. A linguagem L1 pode ser gerada pela gramática G = ({X, Y }, {a, b}, {X → aXaa|Y, Y → bY |λ}, X)
A análise permite concluir que estão correctas:
A Somente as armações I e II; B Somente as armações I e III;
C Somente as armações II e III; D Todas as armações.
8. Que linha é aceitável pelo autómato nito representado pelo diagrama de transições

A aabbaabb; B bababa; C bbbbbaaa; D bbbabbaaa.

9. Considere o autómato nito a seguir,

Que autómato nito com f como função de transição de estados aceita a mesma linguagem?
A Estado inicial s0 estados aceitáveis s3 e f (s0 , a) = s1 ; f (s0 , b) = s0 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ;
f (s2 , a) = s1 ; f (s2 , b) = s2 ; f (s3 , a) = s3 ; f (s3 , b) = s2 .
B Estado inicial s0 estados aceitáveis s3 e f (s0 , b) = s1 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ; f (s1 , b) = s2
f (s2 , a) = s3 .
C Estado inicial s0 estados aceitáveis s2 e s3 e f (s0 , b) = s1 ; f (s1 , a) = s2 ; f (s2 , a) = s3 ;
D todas as respostas acima estão correctas;
10. Caracterize a linguagem aceitável pelo autómato com S = {s0 , s1 , s2 , s3 }, A = s2 , estado inicial s0 e cuja
função de transição é

A palavras que contém bb; B palavras que contém exactamente dois b's;
C palavras que terminam por bb; D palavras que começam por b e contém bb;
Docente: Timóteo Sambo
 UNIVERSIDADE EDUARDO MONDLANE
Faculdade de Ciências
Teste 3 de Matemática Discreta II V6 Data: 03.11.14
Curso: Engenharia Informática Regime: Laboral& Pós-laboral
1. (3.0 v) Aplicando o algoritmo de Dijkstra, ache os caminhos mínimos de S para os restantes vértices do grafo

2. (3.5 v) Considere a rede com uxo inicial de 11 unidades

Calcule o uxo máximo que a rede pode suportar. Justique, aplicando o Teorema de Ford-Fulkerson.
3. (3.0 v) Construa um autómato nito que aceite palavras sobre o conjunto {a, b} que começam por bb e
terminam por ab.

(10.5 v) Escolha a alternativa correcta

4. Seja Σ = {a, b} e a linguagem regular

L = {w : w ∈ Σ∗ e o número de a's em w é impar}

Qual das gramáticas gera essa linguagem?

A G = ({A}, {a, b}, {A → aaAb|aab}, A)
B G = ({A, B}, {a, b}, {A → bA|aB|λ, B → bB|aA}, A)
C G = ({A, B, C}, {a, b}, {A → BC, B → aaB|λ, C → bC|b}, A)
D G = ({A, B}, {a, b}, {A → bA|aB, B → bB|aA|λ}, A)
5. Considere a linguagem L = {an b2n c : n ≥ 0} Analise as armações
I. L é uma linguagem livre de contexto.
II. L é reconhecida por um autómato nito.
III. A gramática G = ({S, X}, {a, b, c}, {S → Xc, X → aXbb|λ}, S) gera a linguagem L
A análise permite concluir que estão correctas:
A Apenas as armações I e II; B Apenas as armações I e III;
C todas as armações; D Apenas as armações II e III;
 6. Considere a gramática G denida pelas regras de produção
S → AB, AB → AAB, A → a, B → b
em que os simbolos não terminais são S, A e B e os símbolos terminais são a e b. Com relação a gramática,
é correcto arma que:
A A gramática G é uma gramática livre de contexto; B λ ∈ L(G)
C aaaab ∈ L(G). D aabbb ∈ L(G)
7. Considerado as liguagens L1 = {an bm a2n : m ≥ 0, n ≥ 0} e L2 = {am baban : m ≥ 0, n ≥ 1} sobre
Σ = {a, b}, considere as armações :
I. L1 é uma liguagem regular;
II. A linguagem L1 pode ser gerada pela gramática G = ({X, Y }, {a, b}, {X → aXaa|Y, Y → bY |λ}, X)
III. L2 é uma liguagem regular;
A análise permite concluir que estão correctas:
A Somente as armações I e II; B Somente as armações I e III;
C Todas as armações ; D Somente as armações II e III;
8. Que linha é aceitável pelo autómato nito representado pelo diagrama de transições

A bababa; B aabbaabb C bbbabbaaa ; D bbbbbaaa;

9. Considere o autómato nito a seguir,

Que autómato nito com f como função de transição de estados aceita a mesma linguagem?
A Estado inicial s0 estados aceitáveis s3 e f (s0 , b) = s1 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ; f (s1 , b) = s2
f (s2 , a) = s3 ;
B Estado inicial s0 estados aceitáveis s2 e f (s0 , b) = s0 ; f (s0 , a) = s1 ; f (s1 , a) = s2 ; f (s1 , b) = s0
f (s2 , a) = s2 ; f (s2 , b) = s0 ;
C Estado inicial s0 estados aceitáveis s3 e f (s0 , a) = s1 ; f (s0 , b) = s0 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ;
f (s2 , a) = s1 ; f (s2 , b) = s2 ; f (s3 , a) = s3 ; f (s3 , b) = s3 .
D todas as respostas acima estão correctas;
10. Caracterize a linguagem aceitável pelo autómato com S = {s0 , s1 , s2 }, A = {s1 }, estado inicial s0 e cuja
função de transição é
S/I a b
s0 s0 s1
s1 s2 s1
s2 s2 s1

A palavras que contém bb; B palavras que contém exactamente dois b's;
C palavras que terminam por b; D palavras que começam por a e contém bb;
Docente: Timóteo Sambo
 UNIVERSIDADE EDUARDO MONDLANE
Faculdade de Ciências
Teste 3 de Matemática Discreta II V5 Data: 03.11.14
Curso: Engenharia Informática Regime: Laboral& Pós-laboral
1. (3.0 v) Aplicando o algoritmo de Dijkstra, ache os caminhos mínimos de S para os restantes vértices do grafo

2. (3.5 v) Considere a rede com uxo inicial de 11 unidades

Calcule o uxo máximo que a rede pode suportar. Justique, aplicando o Teorema de Ford-Fulkerson.
3. (3.0 v) Construa um autómato nito que aceite palavras sobre o conjunto {a, b} que começam por bb e
terminam por ab.

(10.5 v) Escolha a alternativa correcta

4. Seja Σ = {a, b} e a linguagem regular

L = {w : w ∈ Σ∗ e o número de a's em w é impar}

Qual das gramáticas gera essa linguagem?

A G = ({A}, {a, b}, {A → aaAb|aab}, A)
B G = ({A, B}, {a, b}, {A → bA|aB, B → bB|aA|λ}, A)
C G = ({A, B, C}, {a, b}, {A → BC, B → aaB|λ, C → bC|b}, A)
D G = ({A, B}, {a, b}, {A → bA|aB|λ, B → bB|aA}, A)
5. Considere a gramática G denida pelas regras de produção
S → AB, AB → AAB, A → a, B → b

em que os simbolos não terminais são S, A e B e os símbolos terminais são a e b. Com relação a gramática,
é correcto arma que:
A λ ∈ L(G); B A gramática G é uma gramática livre de contexto;
C aabbb ∈ L(G) D aaaab ∈ L(G).
6. Considere a linguagem L = {an b2n c : n ≥ 0} Analise as armações
I. L não pode ser reconhecida por um autómato nito
 II. A gramática G = ({S, X}, {a, b, c}, {S → Xc, X → aXbb|λ}, S) gera a linguagem L nito.
III. L é uma linguagem livre de contexto.
A análise permite concluir que estão correctas:
A Apenas as armações I e II; B Apenas as armações I e III;
C Apenas as armações II e III; D todas as armações.
7. Considerado as liguagens L1 = {an bm a2n : m ≥ 0, n ≥ 0} e L2 = {am baban : m ≥ 0, n ≥ 1} sobre
Σ = {a, b}, considere as armações :
I. L1 é uma liguagem regular;
II. A linguagem L1 pode ser gerada pela gramática G = ({X, Y }, {a, b}, {X → aXaa|Y, Y → bY |λ}, X)
III. L2 é uma liguagem regular;
A análise permite concluir que estão correctas:
A Somente as armações I e II; B Somente as armações I e III;
C Somente as armações II e III; D Todas as armações
8. Que linha é aceitável pelo autómato nito representado pelo diagrama de transições

A aabbaabb; B bababa; C bbbbbaaa; D bbbabbaaa.

9. Considere o autómato nito a seguir,

Que autómato nito com f como função de transição de estados aceita a mesma linguagem?
A Estado inicial s0 estados aceitáveis s2 e s3 e f (s0 , b) = s1 ; f (s1 , a) = s2 ; f (s2 , a) = s3 .
B Estado inicial s0 estados aceitáveis s3 e f (s0 , a) = s1 ; f (s0 , b) = s0 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ;
f (s2 , a) = s1 ; f (s2 , b) = s2 ; f (s3 , a) = s3 ; f (s3 , b) = s3 .
C Estado inicial s0 estados aceitáveis s2 e f (s0 , b) = s0 ; f (s0 , a) = s1 ; f (s1 , a) = s2 ; f (s1 , b) = s0
f (s2 , a) = s2 ; f (s2 , b) = s0 ;
D todas as respostas acima estão correctas;
10. Caracterize a linguagem aceitável pelo autómato com S = {s0 , s1 , s2 }, A = {s1 }, estado inicial s0 e cuja
função de transição é
S/I a b
s0 s0 s1
s1 s2 s1
s2 s2 s1

A palavras que contém bb; B palavras que contém exactamente dois b's;
C palavras que começam por a e contém bb; D palavras que terminam por b.
Docente: Timóteo Sambo
 UNIVERSIDADE EDUARDO MONDLANE
Faculdade de Ciências
Teste 3 de Matemática Discreta II V4 Data: 03.11.14
Curso: Engenharia Informática Regime: Laboral& Pós-laboral
1. (3.0 v) Aplicando o algoritmo de Dijkstra, ache os caminhos mínimos de S para os restantes vértices do grafo

2. (3.5 v) Considere a rede com uxo inicial de 11 unidades

Calcule o uxo máximo que a rede pode suportar. Justique, aplicando o Teorema de Ford-Fulkerson.
3. (3.0 v) Construa um autómato nito que aceite palavras sobre o conjunto {a, b} que começam por bb e
terminam por ab.

(10.5 v) Escolha a alternativa correcta

4. Seja Σ = {a, b} e a linguagem regular

L = {w : w ∈ Σ∗ e o número de a's em w é impar}

Qual das gramáticas gera essa linguagem?

A G = ({A}, {a, b}, {A → aaAb|aab}, A);
B G = ({A, B, C}, {a, b}, {A → BC, B → aaB|λ, C → bC|b}, A);
C G = ({A, B}, {a, b}, {A → bA|aB, B → bB|aA|λ}, A);
D G = ({A, B}, {a, b}, {A → bA|aB|λ, B → bB|aA}, A).
5. Considere a gramática G denida pelas regras de produção
S → AB, AB → AAB, A → a, B → b

em que os simbolos não terminais são S, A e B e os símbolos terminais são a e b. Com relação a gramática,
é correcto arma que:
A G é uma gramática livre de contexto; B aaaab ∈ L(G);
C λ ∈ L(G) D aabbb ∈ L(G)
6. Considere a linguagem L = {an b2n c : n ≥ 0} Analise as armações
I. L é reconhecida por um autómato nito.
 II. L é uma linguagem livre de contexto.
III. A gramática G = ({S, X}, {a, b, c}, {S → Xc, X → aXbb|λ}, S) gera a linguagem L
A análise permite concluir que estão correctas:
A Apenas as armações I e II; B Apenas as armações I e III;
C todas as armações; D Apenas as armações II e III;
7. Considerado as liguagens L1 = {an bm a2n : m ≥ 0, n ≥ 0} e L2 = {am baban : m ≥ 0, n ≥ 1} sobre
Σ = {a, b}, considere as armações :
I. L2 é uma liguagem regular;
II. L1 é uma liguagem regular;
III. A linguagem L1 pode ser gerada pela gramática G = ({X, Y }, {a, b}, {X → aXaa|Y, Y → bY |λ}, X)
A análise permite concluir que estão correctas:
A Somente as armações I e II; B Somente as armações I e III;
C Somente as armações II e III; D Todas as armações.
8. Que linha é aceitável pelo autómato nito representado pelo diagrama de transições

A aabbaabb; B bbbabbaaa; C bbbbbaaa; D bababa.

9. Considere o autómato nito a seguir,

Que autómato nito com f como função de transição de estados aceita a mesma linguagem?
A Estado inicial s0 estados aceitáveis s3 e f (s0 , a) = s1 ; f (s0 , b) = s0 ; f (s1 , a) = s3 ; f (s1 , b) = s2 ;
f (s2 , a) = s1 ; f (s2 , b) = s2 ; f (s3 , a) = s3 ; f (s3 , b) = s3 .
B Estado inicial s0 estados aceitáveis s2 e f (s0 , b) = s0 ; f (s0 , a) = s1 ; f (s1 , a) = s2 ; f (s1 , b) = s0
f (s2 , a) = s2 ; f (s2 , b) = s0 .
C Estado inicial s0 estados aceitáveis s2 e s3 e f (s0 , b) = s1 ; f (s1 , a) = s2 ; f (s2 , a) = s3 ;
D todas as respostas acima estão correctas;
10. Caracterize a linguagem aceitável pelo autómato com S = {s0 , s1 , s2 }, A = {s1 }, estado inicial s0 e cuja
função de transição é
S/I a b
s0 s0 s1
s1 s2 s1
s2 s2 s1

A palavras que terminam por b; B palavras que contém exactamente dois b's;
C palavras que contém bb; D palavras que começam por a e contém bb;
Docente: Timóteo Sambo