Teoria da

Computao
2012.1
Prof. Raimundo Moura
PPGCC UFPI
Teoria da Computao
! I. Autmatos e Linguagens
! II. Teoria da Computabilidade
! III. Teoria da Complexidade
! Quais so as capacidades e limitaes
fundamentais dos computadores?
Teoria da Complexidade
! Ordenao de nmeros (Easy)
! Escalonamento de salas (Hard)
! O que faz alguns problemas
computacionalmente difceis e outros fceis?
! O que melhor? fcil ou difcil?
Teoria da Computabilidade
! Gdel, Turing e Church descobriram que certos
problemas bsicos no podem ser resolvidos
por computadores.
! Ex: Determinar se um enunciado matemtico
verdadeiro ou falso
! Visa classificar os problemas em solveis e no-
solveis
Teoria dos Autmatos
! So excelentes para comear a estudar a Teoria
da Computao
Definies, Teoremas e Provas
! Definies: descrevem os objetos e noes que
usamos. Preciso essencial a qualquer
definio matemtica.
! Enunciado matemtico: expressa que algum
objeto tem uma certa propriedade.
! Prova: um argumento lgico convincente de
que um enunciado verdadeiro. Em matemtica
um argumento tem de ser inatacvel, i.e.,
convincente em um sentido absoluto
Definies, Teoremas e Provas
! Teorema: um enunciado matemtico
demonstrado como verdadeiro.
! Lema: um enunciado que ajuda na prova de
outro enunciado mais significativo.
! Corolrio: um enunciado relacionado a um
teorema que facilmente provado verdadeiro.
Tipos de Prova
! Prova por construo: demonstrar como
construir o objeto
! Teorema: Para cada nmero par n maior que 2,
existe um grafo 3-regular com n ns.
! Seja n um nmero par maior que 2. Construir
o grafo G=(V,E) com n ns da seguinte forma:
V={0,1,,n-1}
E={{i, i+1} para 0 ! i ! n-2} U {{n-1,0}}
U {{i,i+n/2} para 0 ! i ! n/2-1}
Tipos de Prova
! Prova por contradio: assume-se que o
teorema falso e em seguida mostra-se que a
suposio leva a uma consequncia obviamente
falsa, chamada contradio.
! Prova por induo: (base e passo de induo)
P(1) verdadeiro
Para cada i " 1, supor que P(i) verdadeiro e
mostrar que P(i+1) tambm verdadeiro
Verificar x Validar
! Verificar comprovar, atravs de fornecimento de
evidncia objetiva, de que requisitos especificados
foram atendidos. A comprovao pode compreender
atividades tais como:
Elaborao de clculos alternativos;
Comparao de uma especificao de um novo projeto com uma
especificao de projeto similar provado;
Realizao de ensaios e demonstraes;
Anlise crtica de documentos antes de sua emisso.
! Validar comprovar, atravs de fornecimento de
evidncia objetiva, de que os requisitos para uma
aplicao ou uso especficos pretendidos foram
atendidos. As condies de utilizao podem ser reais
ou simuladas.
Verificar x Validar: exemplo
! Um fabricante de rolhas recebe uma
solicitao de rolhas de um determinado
material com tal dimetro e tal
comprimento. O fabricante faz as rolhas e
testa o material, o dimetro e o
comprimento. Neste caso, ele fez uma
VERIFICAO do que produziu.
! Verificar no significa que o fabricante tenha
certeza de a rolha vai encaixar na garrafa,
ele simplesmente garantiu que o produto
dele est de acordo com o solicitado.
Verificar x Validar: exemplo
! Se o fabricante tentar fechar algumas
garrafas com as rolhas que ele fabricou, ele
estar VALIDANDO as mesmas, com isso, ele
pode dizer se as rolhas funcionam, mas no
se elas esto de acordo com o especificado.
Verificar x Validar
! Verificar testar para ver se ficou
conforme o planejado;
! Validar testar para ver se o que foi
feito vai funcionar para o propsito
desejado.
Verify x Validate
! Verify
! make sure or demonstrate that (something) is true,
accurate, or justified : his conclusions have been
verified by later experiments | [with clause ] Can you
verify that the guns are licensed?
! Validate
! check or prove the validity or accuracy of
(something) : these estimates have been validated by
periodic surveys.
Fonte: New Oxford American Dictionary. Version: 2.1.3 (80.4)
Safety x Security
! Safety / Seguro
! the condition of being protected from or unlikely to cause
danger, risk, or injury : they should leave for their own safety | the
survivors were airlifted to safety.
! Security / Segurana
! the state of being free from danger or threat : the system is
designed to provide maximum security against toxic spills | job
security.
! the safety of a state or organization against criminal activity
such as terrorism, theft, or espionage : a matter of national
security.
! procedures followed or measures taken to ensure such safety :
amid tight security the presidents met in the Colombian resort.
! the state of feeling safe, stable, and free from fear or anxiety :
this man could give the emotional security she needed.
Fonte: New Oxford American Dictionary. Version: 2.1.3 (80.4)
Aula 2: Exerccios:
Fazer um texto de uma lauda (mximo)
sobre a palestra de John Hopcroft
realizada na UFMG em 2011:
Computer science theory to support
research in the information age
John Hopcroft
Cornell University
Ithaca, New York
Aula 2: Exerccios:
Fazer um texto de uma lauda (mximo)
sobre a palestra de Luiz von Ahn no
TED.com em 2011:
Massive-scale online collaboration
Luis von Ahn
Carnegie Mellon University