TC 2011 1 Introducao

Teoria da Computao ca
Noes e Terminologia co
Atividades
Prof. Hamilton Jos Brumatto e
Bacharelado em Cincia da Computao - UESC e ca
20 de fevereiro de 2011
TC
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
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
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
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
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
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
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}
TC
Atividades

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

Operao ca Subtrao ca Diagrama AB A B Diferena c Simtrica e AB A B
TC
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
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
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
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

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
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
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
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
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
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
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
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
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

TC 2011 1 Introducao

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

TC 2011 1 Introducao

Încărcat de

Drepturi de autor:

Formate disponibile

Teoria da Computao ca

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

Teoria dos Autmatos o

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

Relaes entre Conjuntos e Elementos co

Relao ca Igualdade Subconjunto

Prof. Hamilton Jos Brumatto e

Operaes entre Conjuntos e Elementos co

Operaes entre Conjuntos e Elementos co

Prof. Hamilton Jos Brumatto e

Operaes entre Conjuntos e Elementos co

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

pedra verdadeiro falso falso

tesoura falso verdadeiro falso

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

Ler a apostila de Introduo ` Teoria dos Grafos ca a

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

Cadeias: Exemplos e Representaes co

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

Prof. Hamilton Jos Brumatto e

Denio ca Uma linguagem um conjunto de cadeias. e

Prof. Hamilton Jos Brumatto e

Teoremas Tcnicas de Demonstrao. e ca

Prof. Hamilton Jos Brumatto e

Prof. Hamilton Jos Brumatto e

S-ar putea să vă placă și