FACULDADE DE COMPUTAO E INFORMTICA

BACHARELADO EM CINCIA DA COMPUTAO, SISTEMAS DE INFORMAO E

TECNOLOGIA EM ANLISE E DESENVOLVIMENTO DE SISTEMAS
LICENCIATURA EM MATEMTICA
Matemtica Discreta Aula 14 2 SEMESTRE/2014

TEORIA: FUNES DISCRETAS (PARTE I)

Nossos objetivos nesta aula so:

Conhecer o conceito de funo parcial

Reaplicar classificaes j conhecidas de relaes
(injetora, sobrejetora,...) para funes parciais
Aplicar funes parciais para modelagem de Autmatos
Finitos
Aplicar funes parciais para operaes em
Processamento de Imagens Binrias

Para esta aula, usamos novamente as sees 5.1 (Funo

Parcial) e 5.2 (Autmato Finito) do nosso livro da referncia
bsica:

MENEZES, P.B. Matemtica Discreta para Computao e

Informtica. 4.ed. Bookman: Porto Alegre, 2013.

No deixem de ler estas sees depois desta aula!

FUNES PARCIAIS

Uma funo parcial A B uma relao funcional (*) entre A e B, ou seja, cada
elemento do domnio (pode sobrar elemento em A) est relacionando com, no mximo,
um elemento do contradomnio.

Uma funo parcial, geralmente, indicada por : , onde o sinal de corte na flecha
denota a propriedade de parcialidade.

Dizemos que uma funo parcial discreta quando o conjunto subjacente funo for
discreto, ou seja, se o conjunto de pares {, () } for discreto.
A

(*) a A, b1, b2 B, (a f b1 a f b2) b1 = b2

no ocorre

B
A

EXERCCIO COM DISCUSSO EM DUPLAS

Sejam = {}, = {, } = {0, 1, 2}.
(a) Mostre que as relaes abaixo so funes parciais e as classifique em injetora,
sobrejetora, bijetora ou em nenhum destes tipos:
a. : , () = () =

b. : , () =

c. : , (0) = , (1) = (2) =

(b) Calcule a funo parcial composta . Deixe bem claro qual o domnio e o
contradomnio desta funo parcial.

(c) Mostre, atravs de um contra-exemplo, que o produto cartesiano entre A e B no uma

funo parcial.

PRIMEIRA APLICAO DE FUNO PARCIAL: AUTMATOS FINITOS

Um autmato finito uma mquina de estados, que permite transies de estados atravs
da leitura de smbolos (definidos em um alfabeto) de um entrada.

A figura abaixo ilustra um autmato finito cujo alfabeto o conjunto = {a, b} e as

transies de estado na leitura da entrada abba:

Para este autmato, podemos definir dois conjuntos: conjunto de estados Q = {q0, q1, q2, qf}
e o alfabeto de entrada = {, }. Assim, as transies possveis dentro deste autmato
podem ser especificados pela seguinte funo parcial discreta (funo programa) :
, chamada funo de transio do autmato, onde:
o
o
o
o
o
o
o
o

(0 , ) = 1
(0 , ) = 2
(1 , ) =
(1 , ) = 2
(2 , ) = 1
(2 , ) =
( , ) =
( , ) =

Vamos denotar por o conjunto de todas as sequncias possveis de smbolos de . Estas

sequencias so chamadas de palavras (ou strings) sobre o alfabeto . No nosso exemplo
anterior:
= {, , , , , , , , , , }
O smbolo indica a palavra-vazia, isto , a palavra que no possui smbolos.

Utilizando o conjunto , podemos estender a funo de transio para que possa operar
sobre as palavras, ou seja, teremos uma funo de transio estendida
: tal que:
o (, ) =

o (, ) = ((, ), ),

Esta extenso diz, essencialmente, o seguinte:

o se no lermos nenhum smbolos, ento ficamos no mesmo estado
o ao lermos uma palavra, a transio total sobre o autmato uma composio das
transies provocadas pela leitura de cada smbolo da palavra.

EXERCCIO TUTORIADO
Considere novamente o autmato finito mostrado na pgina anterior:

Mostre a sequncia de composies de transies (funes) para que o autmato leia (ou
soletre, como na designao dos autmatos) a entrada abba a partir do estado inicial do
autmato (0 ).

EXERCCIO COM DISCUSSO EM DUPLAS

Considere o autmato finito mostrado abaixo:

(a) Identifique os conjuntos de estados e do alfabeto.

(b) Construa a funo de transio deste autmato.

(c) Utilizando a definio de funo de transio estendida, mostre a sequencia de

composio de transies para soletrar a entrada 001101.

SEGUNDA APLICAO DE FUNO PARCIAL: PROCESSAMENTO DE IMAGENS BINRIAS

Uma imagem binria, ou imagem em preto-e-branco, pode ser vista como uma funo
discreta parcial (, ): {0,1}. Os valores 0 e 1 indicam, respectivamente, as cores
preto e branco.

A funo discreta parcial de uma imagem binria pode ser vista como uma matriz:
(, ) = [

(0,0)

(, 0)

(0, )
]
(, )

EXERCCIO TUTORIADO
Obtenha a funo discreta parcial da imagem binria abaixo, representando-a como uma matriz:

 A partir da matriz que representa a funo parcial discreta de uma imagem binria, podemos
aplicar vrios operadores de Processamento de Imagens Binrias, chamados operadores
morfolgicos. Cada operador tambm uma funo parcial discreta que recebe, como entrada,
uma imagem (funo) e devolve outra imagem (funo).
Um operador morfolgico bastante importante a dilatao, que permite engordar os
contornos de imagem binria atravs de um elemento estruturante. Formalmente, a dilatao
de uma imagem binria (, ) por um elemento estruturante (, ) o conjunto:
(, )(, ) = {(, ) | (,) (, ) (, ) (, )}
onde (,) (, ) denota o elemento estruturante deslocado (pelo seu centro) para a
posio (, ). A figura abaixo mostra dois exemplos de efeito deste operador:

Dilataes em imagens binrias podem ser utilizadas, por exemplo, para reconstruo de
letras em sistemas OCR (Optical Character Recognition), conforme mostrado abaixo:

Outro operador morfolgico bastante importante a eroso, que permite emagrecer os

contornos de imagem binria atravs de um elemento estruturante. Formalmente, a eroso
de uma imagem binria (, ) por um elemento estruturante (, ) o conjunto:
(, ) (, ) = {(, ) | (,) (, ) (, )}
onde (,) (, ) denota o elemento estruturante deslocado (pelo seu centro) para a
posio (, ). A figura abaixo mostra dois exemplos de efeito deste operador:

Um operador de eroso pode ser utilizado, por exemplo, para separar objetos em uma
imagem binria (hemcias, em um exame automatizado de sangue, por exemplo), conforme
mostrado no exemplo abaixo.

Neste exemplo, a contagem de objetos na imagem da esquerda difcil, pois todas as partes
esto grudadas. Porm, aplicando o operador de eroso, temos a separao entre estas
partes (imagem da direita) e os objetos podem, agora, ser contados.
8

EXERCCIOS EXTRA-CLASSE

1. Sejam = {}, = {, } = {0, 1, 2} e as relaes definidas abaixo:

(a) mostre que cada uma das relaes acima uma funo parcial discreta.
(b) calcule o domnio, contradomnio e imagem de cada das funes
(c) classifique, em funo do tipo de relao, o tipo da funo (injetora, sobrejetora,
bijetora,...)

2. Considere o autmato finito visto em aula e reproduzido abaixo:

(a) Mostre a sequencia de composies de transies para soletrar a palavra aaabababa

(b) Mostre a sequencia de composies de transies para soletrar a palavra abbabbbab

3. Definimos o fechamento de uma imagem binria por um elemento estruturante por:

(, ) (, ) = ((, ) (, ))(, )
(a) Reescreva o operador de fechamento atravs de propriedades de conjuntos, como foi
feito para a dilatao e eroso.

(b) Como voc acha que o operador de fechamento pode melhorar a qualidade de uma
imagem de uma digital ? No exemplo abaixo, temos um exemplo de uma imagem ruim de
uma digital (esquerda) e uma imagem melhorada (direita) pelo fechamento.

10