Você está na página 1de 23

Teoria da Computao ca

Noes e Terminologia co

Atividades

Teoria da Computao ca
Prof. Hamilton Jos Brumatto e
Bacharelado em Cincia da Computao - UESC e ca

20 de fevereiro de 2011

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Teoria da Computao ca Teoria da Complexidade Teoria da Computabilidade Teoria dos Autmatos o Noes e Terminologia co Conjuntos Sequncias e Uplas e Funes e Relaes co co Grafos Cadeias e Linguagens Lgica o Atividades

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Teoria da Complexidade

O que faz alguns problemas computacionalmente dif ceis e outros fceis? a Os problemas so classicados por sua diculdade a computacional. Para tratar problemas dif ceis, uma soluo alterar o ca e problema. Tambm poss aceitar uma soluo aproximada. e e vel ca A diculdade pode ser algo bom Criptograa.

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Teoria da Computabilidade

O que computvel? Existem problemas que no podem ser e a a computveis? a No poss computar o problema de determinar se um a e vel enunciado matemtico verdadeiro ou falso. a e A teoria da computabilidade desenvolve idias relativas a e modelos tericos de computadores que podem ser levados ` o a construo de computadores reais. ca A teoria da complexidade classica problemas entre fceis e a dif ceis, a teoria da computabilidade classica problemas como solveis ou no. u a

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Teoria dos Autmatos o

O que computar? O que dene uma mquina? e a A teoria da computabilidade e da complexidade precisam de uma denio precisa de computador. A teoria dos autmatos ca o oferece denies formais da computao. co ca A teoria dos autmatos pode ser um in de estudo da o cio Teoria da Computao pois ela dene o modelo ca computacional que ser utilizado na teoria da computabilidade a e na teoria da complexidade.

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Conjuntos
Denio ca Um conjunto um grupo de objetos representado como uma e unidade. Os objetos de um conjunto so chamados de elementos a ou membros Representao ca Atravs de um diagrama de Venn e
21 7 57 verde rosa branco

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Relaes entre Conjuntos e Elementos co

Relao ca Igualdade Subconjunto

S mbolo =

Subconjunto ou prprio o ou Pertinncia e A : {7, 21}; 7 A e 57 A / Um conjunto especial o conjunto vazio, representado por: . O e conjunto vazio subconjunto de qualquer conjunto. e

Exemplo A : {7, 21, 57}|B : {21, 7, 7, 57}; A=B A : {7, 21}|B : {7, 21, 57}; A B e B B A : {7, 21}|B : {7, 21, 57}; A B

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Operaes entre Conjuntos e Elementos co


Operao ca Unio a Inserseco ca Subtrao ca Diferena c Simtrica e Produto Cartesiano Remoo ca S mbolo Exemplo A : {7, 21, 57}|B : {7, 15}; C : A B C = {7, 15, 21, 57} A : {7, 21, 57}|B : {7, 15}; C : A B C = {15} A : {7, 21, 57}|B : {7, 15}; C : A B C = {21, 57} A : {7, 21, 57}|B : {7, 15}; C : A B C = {15, 21, 57} A : {7, 21}|B : {7, 15}; C :AB C = {(7, 7), (7, 15), (21, 7), (21, 15)} A : {7, 21, 57; C : A\7 C = {21, 57}
Prof. Hamilton Jos Brumatto e

TC

Teoria da Computao ca

Noes e Terminologia co

Atividades

Operaes entre Conjuntos e Elementos co


Operao ca Unio a Diagrama AB A B Inserseco ca AB A B

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Operaes entre Conjuntos e Elementos co


Operao ca Subtrao ca Diagrama AB A B Diferena c Simtrica e AB A B

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Sequncias e Uplas e
Denies co Uma sequncia de objetos uma lista dos objetos na ordem e e indicada. A sequncia 21, 7, 57 representada como e e {21, 7, 57}. E uma sequncia diferente de {7, 21, 57}. e e Uma sequncia com k objetos chamada de k-upla: e e {21, 7, 57} uma 3-upla. e As operaes de conjuntos se aplicam a sequncias, em co e especial o produto cartesiano: A : {1, x}; B : {1, 2}, ento a A B A resulta em: {(1, 1, 1), (1, 1, x), (1, 2, 1), (1, 2, x), (x, 1, 1), (x, 1, x), (x, 2, 1), (x, 2, x)}.
k

A A . . . A = Ak N 2 = N N = {(i, j)|i, j

1}.

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Funes e Relaes co co

Denio ca Uma funo toma uma entrada e produz uma sa ca da. Em toda funo, a mesma entrada sempre produz a mesma sa ca da. Se f e uma funo cujo valor de sa b quando o valor de entrada a, ca da e e escrevemos: f (a) = b O conjunto de entradas poss veis de uma funo chamada de ca e Dom nio e o conjunto de sa das o Contradom nio. f :DC

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Exemplos

Funo soma : Z Z Z ca Funo prox : {1, 2, 3, 4} {1, 2, 3, 4} ca e s 1 2 2 3 3 4 4 1 No exemplo anterior utilizamos uma tabela para representar a relao entre os valores de entrada e de sa ca da. As funes podem co ser representadas por frmulas, tabelas, ou outras que permita o denir o valor de sa pelo valor de entradas. da

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Papel-Pedra-Tesoura
Em alguns casos a funo aplicada sobre uma sequncia, por ca e e exemplo o jogo Papel-Pedra-Tesoura pode ser denido atravs da e funo que retorna verdadeiro se um objeto destri o outro. Ento ca o a o dom da funo constitu por 2-uplas formadas por nio ca e do elementos do conjunto J : {papel, pedra, tesoura}. Ou seja, D = J J, e o contradom C : {verdadeiro, falso}, onde nio e verdadeiro representa que o primeiro elemento da 2-upla destri o o segundo. Jogo : J J C Jogo papel papel falso pedra falso tesoura verdadeiro
TC

pedra verdadeiro falso falso

tesoura falso verdadeiro falso


Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Porto-Automtico a a
Considere a funo que representa a ao de um porto ca ca a automtico. Como entrada da funo ter a ca amos uma 2-upla com a ao que realizada como controle do porto representada pelo ca e a conjunto : { , } e pela situao atual do porto representado ca a pelo conjunto E : {aberto, abrindo, fechando, fechado}, ou seja a entrada o dom D : E . Para entender os s e nio mbolos: representa um click no controle remoto; e representa o aviso do sensor do m de curso. Porto: E E a Porto aberto abrindo fechando fechado a

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Porto-Automtico a a
Considere a funo que representa a ao de um porto ca ca a automtico. Como entrada da funo ter a ca amos uma 2-upla com a ao que realizada como controle do porto representada pelo ca e a conjunto : { , } e pela situao atual do porto representado ca a pelo conjunto E : {aberto, abrindo, fechando, fechado}, ou seja a entrada o dom D : E . Para entender os s e nio mbolos: representa um click no controle remoto; e representa o aviso do sensor do m de curso. Porto: E E a Porto a aberto abrindo fechando fechado fechando fechando abrindo abrindo

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Porto-Automtico a a
Considere a funo que representa a ao de um porto ca ca a automtico. Como entrada da funo ter a ca amos uma 2-upla com a ao que realizada como controle do porto representada pelo ca e a conjunto : { , } e pela situao atual do porto representado ca a pelo conjunto E : {aberto, abrindo, fechando, fechado}, ou seja a entrada o dom D : E . Para entender os s e nio mbolos: representa um click no controle remoto; e representa o aviso do sensor do m de curso. Porto: E E a Porto a aberto abrindo fechando fechado fechando fechando abrindo abrindo aberto aberto fechado fechado

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Grafos
b v1 e10 v0 e4 x h y e9 v4 e8 v3 e2 e6 e7

a u v w v5 g e d f c

e5

e1 v2

e3

G
Figura: G : no orientado e H: orientado a

Ler a apostila de Introduo ` Teoria dos Grafos ca a

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Cadeias

Denio: Alfabeto ca Alfabeto um conjunto nito no vazio de s e a mbolos. Geralmente utiliza-se letras gregas maisculas e para u representar um alfabeto, por exemplo: : { , } um alfabeto e com dois s mbolos. Denio: Cadeias ca Uma cadeia sobre um alfabeto uma sequncia nita de s e e mbolos daquele alfabeto, por exemplo: , , , , , uma cadeia do e alfabeto . Em especial, uma cadeia vazia, de comprimento zero, representada por . e

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Cadeias: Exemplos e Representaes co

Seja uma cadeia de comprimento n, podemos escrever: = 1 2 . . . n onde i . Uma cadeia z subcadeia de w se a cadeia z aparece de e forma completa e sem interrupo em . ca Por exemplo, , , subcadeia da cadeia , , , , , . e Duas cadeias x de tamanho n e y de tamanho m podem ser concatenadas como xy de tamanho (m + n): xy : x1 x2 . . . xn y1 yx . . . ym . Uma cadeia pode ser concatenada consigo mesmo k vezes
k

podendo ser escrita como xxx . . . x = x k

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Linguagens

Um conjunto de cadeias pode ser ordenado lexicogracamente, sendo que cadeias de tamanho menor precedem cadeias de tamanho maior. A ordenao de cada ca s mbolo dada pela sequncia que dene o alfabeto. e e {, , , , , , , , . . .}

Denio ca Uma linguagem um conjunto de cadeias. e

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Lgica Matemtica o a

Est dispon no moodle material prprio para os seguintes a vel o temas: Lgica Matemtica: o a
Lgica Proposicional e o Lgica de Predicados o

Teoremas Tcnicas de Demonstrao. e ca

TC

Prof. Hamilton Jos Brumatto e

Teoria da Computao ca

Noes e Terminologia co

Atividades

Atividades

Ler o cap tulo 0 do Sipser. Resolver os exerc cios e problemas do cap tulo Resolver a lista de exerc cios 1. Resolver listas extras de induo e grafos. ca

TC

Prof. Hamilton Jos Brumatto e