APS-1

1
Unidade
Avaliao Ano/Semestre Data da Entrega
APS2 2011/2 At a data da prova A2
Curso Professor
ANLISE E DESENVOLVIMENTO DE
SISTEMAS
Disciplina Cdigo Turma
MATEMTICA DISCRETA EX069
Observaes
Preencher os campos em branco deste cabealho
Nome Matrcula
Obejetivos:
- Melhorar a compreenso dos alunos sobre Mquinas de Estado Finito atravs de estudo
complementar e exerccios.
-Aprofundar os conhecimentos da Matemtica Discreta.
1
a
Parte Trabalho 1:
Estudo e resumo abrangendo:
1. Princpios e definies de Mquinas de Estado Finito. Modelos. Procedimento de
Minimizao.
2. Tipos de mquinas (principalmente aqueles no abordados ou que no puderem ser
abordados em sala de aula).
3. Exerccios. (valor: 5 pontos, na condio de que o aluno apresente o resumo):
3.1 - Uma mquina M descrita pela seguinte tabela de estado:
Minimize M.
Estado Atual Prximo Estado Sada
Entrada Atual
0 1
0 3 6 1
1 4 2 0
2 4 1 0
3 2 0 1
4 5 0 1
5 3 5 0
6 4 2 1
APS-1
2
Resposta:
3.2 - Dada a mquina de Turing: (0, 1, b, 1, D), (1, 1, b, 1, D), (1, 0, b, 1, D) e (0, b, b, 0, E)
Qual a ao desta mquina quando comea com a fita
Resposta:

b 1 0 0 1 b

APS-1
3
3.3 - Uma mquina de estado definida em termos do grafo abaixo:
Determine:
a) A tabela de Estado.
b) A sada para entrada a b a b c b b c a b
Resposta:
a
c c c
b
s
0
/ 0
s
3
/ 0 s
1
/ 1
s
2
/ 1
b
a
a
a
c
APS-1
4
3.4 - Projete uma mquina de Turing para calcular a funo:
f (n) =



< << <

2 1
2 2
n se
n se n
Resposta:
3.5 Construa uma Mquina de Moore (mostrando o grafo e a tabela de estado) com as seguintes
especificaes:
a) entrada w e sada z;
b) todas as mudanas ocorrem em uma borda positiva do relgio;
c) A sada z somente ser 1 se aps dois ciclos consecutivos do relgio a entrada w se mantiver em 1.
Resposta:
APS-1
5
2
a
Parte Questes (valor: 5 pontos, distribudos igualmente entre as questes) :
1) Para as relaes dadas a seguir:
R
1
= {(x, y) | x + y 6 }, R
1
definida de X para Y
R
2
= {(y, z) | y = z + 1 }, R
2
definida de Y para Z
Atribuio de rtulos: 1, 2, 3, 4, 5 para X, Y e Z.
a) calcule as matrizes M
1
e M
2
que representam, respectivamente, as relaes R
1
e R
2
, utilizando a
atribuio de rtulos indicada (lembrando que o elemento clula - da matriz M de uma relao R
tem valor 1 se (x, y) R e 0 se (x, y) R).
b) calcule a matriz produto M
1
.M
2
.
c) Representa a relao R
1
.R
2
na forma de pares ordenados.
Resposta:
APS-1
6
2) Para cada um dos itens abaixo, determine se as relaes so funes de X = {1, 2, 3, 4} para
Y = {a, b, c, d}. Caso sejam funes, determine ainda seu domnio, imagem e indique se so
funes injetoras e sobrejetoras. Caso sejam funes bijetoras, fornea a descrio da funo
inversa como um conjunto de pares ordenados e indique seu domnio e imagem.
a) {(1, a), (2, a), (3, c), (4, b)}
b) {(1, c), (2, a), (3, b), (4, c), (2, d)}
c) {(1, c), (2, d), (3, a), (4, b)}
Resposta:
3) Determine a funo g(x), tal que ( g f o )(x) = x, sabendo-se que f (x) =
x
x
3 4
3 2

Resposta:
APS-1
7
4) Sejam S = {1, 2, 3, 4}, T = {1, 2, 3, 4, 5, 6} e U = {6, 7, 8, 9, 10}.
Sendo f = {(1, 2), (2, 4), (3, 3), (4, 6)} uma funo de S em T]
e g = {(1, 7), (2, 6), (3, 9), (4, 7), (5, 8), (6, 9)} uma funo de T em U,
determine ( g o f ).
Resposta:
5) Se f uma funo de X para Y, A X e B Y, definem-se as funes:
f(A) = {f(x) | x A} e f
1
(B) = {x X | f(x) B}
a funo f
1
(B) chamada de imagem inversa de f sobre B. Seja ento g uma funo de X = {1, 2, 3}
para Y = {a, b, c, d}, onde:
g = {(1, a), (2, c), (3, c)}
Sejam ainda S = {1} , T = {1, 3}, U = {a} e V = {a, c}. Calcule g(S), g(T), g
1
(U) e g
1
(V)
Resposta:
APS-1
8
6) Construa uma matriz de adjacncias de ordem 4x4 que obedea as seguintes condies:
a
i j
= 1, (i + j = 3)
a
i j
= 0, (i + j = 7)
a
i j
= 1, (i + j = 5)
a
i j
= 0, (i = j)
a
i j
= 0, para os demais elementos da matriz
e em seguida construa um grafo gerado por esta matriz..
Resposta:
7) Considere o grafo abaixo:

a) Complete o grafo (para que ele seja um grafo completo por definio).
b) Escreva a matriz de adjacncia deste grafo aps complet-lo.
1
3
2
4
APS-1
9
Resposta:
8) No grafo apresentado na figura abaixo, os vrtices representam escritrios. Se os escritrios por
eles representados esto ligados por um link de comunicao, ento uma aresta conecta 2 vrtices.
Note que , qualquer escritrio pode comunicar com quaisquer outros, diretamente pelo link de
comunicao ou por retransmisso de outros. Mostre, dando um exemplo, que a comunicao entre
todos os escritrios ainda possvel, mesmo se alguns links estiverem desativados.
Resposta:
a
b
c
d
e
f
g
h
i
j
k
APS-1
10
9) Desenhe o grafo representado pela matriz de adjacncia apresentada a seguir (utilize os rtulos
indicados):
e d c b a
e
d
c
b
a

| || |
| || |
| || |
| || |
| || |
| || |

| || |






\ \\ \
| || |
1 1 1 0 0
1 0 1 0 0
1 1 0 0 0
0 0 0 0 1
0 0 0 1 0
Resposta:
10) Para o grafo ilustrado a seguir:
Determine:
a) A matriz de adjacncia
b) Um ciclo de comprimento 6 sem passar por um mesmo arco mais de uma vez.
c) a funo g que associa arcos e ns.
Resposta:
a
6
a
5
a
3
a
4
1
2
3
4
5
a
1
a
2
a
7
a
8
APS-1
11
Unidade
Avaliao Ano/Semestre Data da Entrega
APS2 2011/2 At a data da prova A2
Curso Professor
ANLISE E DESENVOLVIMENTO DE
SISTEMAS
Disciplina Cdigo Turma
MATEMTICA DISCRETA EX069
Observaes
Preencher os campos em branco deste cabealho
Nome Matrcula
Carto de respostas
Questo Resposta
1 Discursiva
2 Discursiva
3 Discursiva
4 Discursiva
5 Discursiva
6 Discursiva
7 Discursiva
8 Discursiva
9 Discursiva
10 Discursiva