Aula 01 de Teoria Da Computação (Conceitos Iniciais)

Teoria da
Computação
116360
Bem-vindos à Teoria da Computação
Aula 1
Roteiro da Aula 1
Roteiro
Apresentação
do curso 1 Apresentação do curso
Revisão Ementa
Palavras e
Linguagens
Nosso primeiro 2 Revisão

Computador
Formal Conjuntos
Diagramas de Venn
Relações e Funções
3 Palavras e Linguagens
4 Nosso primeiro Computador Formal

Teoria da
Computação
116360
Apresentação do curso
Aula 1
Roteiro
Apresentação 1 O que pode ser computado em princı́pio?

do curso
Ementa
• não importa quanto tempo seja preciso...
Revisão
• não importa quanta memória seja preciso...
Palavras e
Linguagens
Nosso primeiro
Computador
Formal 2 Daquilo que pode ser computado: como medir a eficiência
da computação?
• o que pode ser, em princı́pio, eficientemente computado?
• há problemas importantes que não admitem solução
eficiente?
• por que os americanos oferecem $1,000,000 para quem
responder essa pergunta?
Teoria da
Computação
116360
Ementa
Aula 1
1 Linguagens Formais, Autômatos e Computabilidade:

Roteiro • Linguagens regulares, autômatos finitos e expressões
Apresentação regulares;
do curso
Ementa
• Linguagens livres de contexto, autômatos de pilha e
Revisão gramáticas;
Palavras e • Linguagens recursivas, máquinas de Turing;
Linguagens • Indecidibilidade.
Nosso primeiro
Computador
Formal
2 Introdução à Análise de Algoritmos e Complexidade
Computacional:
• Notação assintótica;
• Cotas superiores e inferiores;
• Algoritmos de ordenação;
• Cota inferior para ordenação por comparações.
• Classes P e NP;
• Redução entre problemas e NP-Completude.
Teoria da
Computação
116360
Ementa
Aula 1

do curso
Ementa
Nosso primeiro
Computador
Formal
Computacional:
• Classes P e NP;
Teoria da
Computação
116360
Ementa
Aula 1

do curso
Ementa
Nosso primeiro
Computador ←− P1
Formal
Computacional:
• Classes P e NP;
←− P2
Teoria da
Computação
116360
Formalização do Conceito de Computação
Aula 1
Roteiro
Computação no dia-a-dia
Apresentação
do curso • Um tipo de computador e um tipo de linguagem de
Ementa
Revisão
programação
Palavras e • Um Problema −→ Programador (você) −→ Um programa
Linguagens
Nosso primeiro
• Uma entrada para o programa
Computador
Formal
Computação Formalizada
• Autômatos Finitos
• Uma linguagem −→ Programador (você) −→ Um
autômato
• Uma palavra
Teoria da
Computação
116360
Aula 1
Roteiro
Apresentação
Ementa
Revisão
programação
Linguagens
Nosso primeiro
Computador
Formal
autômato
• Uma palavra
Teoria da
Computação
116360
Aula 1
Roteiro
Apresentação
Ementa
Revisão
programação
Linguagens
Nosso primeiro
Computador
Formal
autômato
• Uma palavra
Teoria da
Computação
116360
Aula 1
Roteiro
Apresentação
Ementa
Revisão
programação
Linguagens
Nosso primeiro
Computador
Formal
autômato
• Uma palavra
Teoria da
Computação
116360
Aula 1
Roteiro
Apresentação
Ementa
Revisão
programação
Linguagens
Nosso primeiro
Computador
Formal
autômato
• Uma palavra
Teoria da
Computação
116360
Conjuntos
Aula 1
Roteiro • Um conjunto é um grupo de elementos distintos;

Apresentação
do curso
Revisão • Usamos parênteses para representá-los: A = {1, 4, 77, 8},

Conjuntos
Diagramas de B = {1, 2, 4, 8, . . . };
Venn
Relações e
Funções
Palavras e
Linguagens • Veja que {1, 2, 5, 8}, {1, 1, 1, 2, 5, 5, 5, 8} e {5, 2, 8, 1} são
Nosso primeiro o mesmo conjunto;
Computador
Formal
• O conjunto vazio é representado por ∅;
• Os elementos de um conjunto podem também ser

conjuntos. Exemplo: {1, 2, {2}, {3, 4, 7}, ∅}.
Teoria da
Computação
116360
Conjuntos
Aula 1
Roteiro
• Pertinência: 4 ∈ {3, 5, 8, 99, 4, 2} e 4 ∈
/ {0, 1, 2};
Apresentação
do curso
Revisão
Conjuntos
Diagramas de • Inclusão: A ⊆ B (A está contido em B, A é subconjunto
Venn
Relações e
Funções
de B) se:
Palavras e
• se x ∈ A, então x ∈ B;
Linguagens • x ∈ A ⇒ x ∈ B;
Nosso primeiro • x ∈ A implica x ∈ B.
Computador
Formal
• Inclusão própria: A ( B (A é subconjunto próprio de B)

se:
• A ⊆ B e A 6= B.
Teoria da
Computação
116360
Conjuntos
Aula 1
Roteiro
• Alguns conjuntos especiais:
Apresentação
do curso • Z é o conjunto dos números inteiros;
Revisão
Conjuntos
Diagramas de • N é o conjunto dos números naturais; para nós, o zero é
Venn
Relações e
Funções
natural: N = {0, 1, 2, 3, 4, 5, 6, . . . };
Palavras e
Linguagens • R é o conjunto dos números reais;
Nosso primeiro
Computador
Formal • Q é o conjunto dos números racionais.
• P(C) é o conjunto potência de C, o conjunto de todos os

subconjuntos de C.
• Exemplo: C = {1, 4, 8}, então
P(C) = {∅, {1}, {4}, {8}, {1, 4}, {1, 8}, {4, 8}, {1, 4, 8}}.
Teoria da
Computação
116360
Notação
Aula 1
Roteiro
Apresentação Conjunto C = { x | propriedade sobre x}

do curso
Revisão
Conjuntos
Diagramas de
Venn • {2, 4, 6, 8} = { x | x é par, maior que 1 e menor que 9 };
Relações e
Funções
Palavras e
Linguagens
• {2, 4, 6, 8} = { x | 1 < x < 9 e ∃n ∈ N, x = 2n};
Nosso primeiro
Computador
Formal
• {1, 2, 4, 8, 16, . . . } = { x | ∃n ∈ N, x = 2n };
• { x ∈ N | propriedade sobre x} é o mesmo que

{ x | x ∈ N e propriedade sobre x}.
Teoria da
Computação
116360
Diagrama de Venn
Aula 1
Roteiro
• O conjunto é representado por um cı́rculo ou forma
Apresentação
ovalada. Os elementos do conjunto são os pontos no
do curso
interior do cı́rculo:
Revisão
Conjuntos
Diagramas de • A é o conjunto dos ı́mpares, B o conjunto dos primos.
Venn
Relações e
Funções
Conjuntos:
Palavras e
Linguagens A
Nosso primeiro
Computador B
Formal
13
2
Teoria da
Computação Diagrama de Venn
111111111111111
000000000000000
116360
Aula 1
000000000000000
111111111111111
Roteiro 000000000000000
111111111111111
0000000000000001111111
1111111111111110000000
Apresentação
000000000000000
1111111111111110000000
1111111
0000000000000001111111
1111111111111110000000
do curso A A∪B
Revisão
000000000000000
111111111111111 0000000
1111111
0000000
1111111
0000000
1111111
Conjuntos
000000000000000
1111111111111110000000
1111111
0000000
1111111
0000000000000001111111
1111111111111110000000
Diagramas de
Venn B
000000000000000
111111111111111 0000000
1111111
0000000
1111111
Relações e
0000000
1111111
Funções
Palavras e
Linguagens 000000000000000
111111111111111
000000000000000
111111111111111 0000000
1111111
Nosso primeiro
Computador
A
000000000000000
111111111111111
Formal
0000
1111 000000
111111
0000
1111
A∩B
000000
111111
000000
111111
A\B
0000
1111
0000
1111 000000
111111
0000
1111 000000
111111
000000
111111
Teoria da
Computação
116360
Tuplas
Aula 1
Roteiro
Apresentação
do curso
Revisão
Conjuntos
• Dupla (ou Par Ordenado) é uma seqüência de dois
Diagramas de
Venn elementos;
Relações e
Funções Neste caso, elementos podem se repetir e a ordem
Palavras e importa!
Linguagens
• Notação: (1, 7);
Nosso primeiro
Computador • (1, 7) 6= (7, 1);
Formal
• Temos também triplas, quádruplas, quı́ntuplas... em geral

tuplas.
Teoria da
Computação
116360
Produto Cartesiano
Aula 1
Roteiro
Apresentação • A × B denota o produto cartesiano de A com B.

do curso
É o conjunto de todos os pares (c, d), onde c ∈ A e d ∈ B.
Revisão
Conjuntos • Exemplo: A = {3, 1} e B = {u, w, y}, então
Diagramas de
Venn
Relações e
A × B = {(1, y), (1, u), (1, w), (3, y), (3, u), (3, w)}.
Funções
Palavras e
Linguagens
Nosso primeiro
• Temos também o produto entre vários conjuntos:
Computador
Formal
A1 × A2 × A3 × · · · × Ak ;
• Podemos fazer o produto cartesiano de um conjunto com

ele mesmo:
A = {1, 3}, A3 = A × A × A =
{(1, 1, 1), (1, 1, 3), (1, 3, 1), . . . , (3, 3, 3)}.
Teoria da
Computação
116360
Relação e Função
Aula 1
Roteiro
Apresentação
do curso
• Uma relação H entre dois conjuntos A e B é:
Revisão
Conjuntos
H ⊆ A × B.
Diagramas de
Venn
• Exemplo: A = {1, 2, 3, 4, 5} e B = {4, 8, 7, 9, 3, 17}.
Relações e
Funções H = {(1, 8), (1, 17), (3, 3), (2, 9), (4, 7), (4, 8)}.
Palavras e
Linguagens
Nosso primeiro
Computador • Uma função f entre A e B é uma relação onde:
Formal
• Cada elemento de A aparece exatamente uma vez em f .
• Denotamos: f : A → B.
Teoria da
Computação
116360
Alfabetos e palavras
Aula 1
Roteiro
Apresentação
do curso
Revisão • Um Alfabeto é simplesmente um conjunto finito de

Palavras e sı́mbolos.
Linguagens
• Exemplos:
Nosso primeiro
Computador • Σ = {0, 1};
Formal • Γ = {a, b, c, d, e, f, g, h, i, j, l, m, n, o, p, q, r, s, t, u, v, x, z}.
• Uma Palavra sobre um alfabeto Σ é uma seqüência finita

de sı́mbolos de Σ.
• Formalmente, seria uma tupla, mas ao invés de
(1, 1, 0, 0, 1) escrevemos 11001.
Teoria da
Computação
116360
Aula 1
Roteiro
Apresentação
do curso • A palavra vazia (com zero sı́mbolos) é denotada por ε;
Revisão
Palavras e
Linguagens • |ρ| denota o número de sı́mbolos da palavra ρ:
Nosso primeiro • Exemplo: |11001| = 5.
Computador
Formal
• Concatenação possui o significado natural:

• Exemplo: x = 11001 e y = 0000000011;
• A concatenação xy é 110010000000011.
• xk denota a concatenação de x consigo mesma k vezes:

• Exemplo: se x = 110, então x4 = 110110110110.
Teoria da
Computação
116360
Aula 1
Roteiro
Apresentação
do curso
Revisão • Uma Linguagem sobre um alfabeto Σ é simplesmente um

Palavras e conjunto de palavras sobre Σ.
Linguagens
• Exemplos:
Nosso primeiro
Computador • L = {1p | p é primo} =
Formal {11, 111, 11111, 1111111, 11111111111, . . . }
• Uma linguagem especial: Σ∗ é o conjunto de todas as

palavras sobre Σ;
• Exemplo: se Σ = {0, 1}, então
Σ∗ = {ε, 0, 1, 00, 01, 10, 11, 000, 001, . . . }.
Teoria da
Computação
116360
Nosso primeiro Computador Formal
Aula 1
Roteiro
Apresentação
do curso
Revisão 0
Palavras e
Linguagens
Nosso primeiro 0 0
Computador 1 2 3
Formal
1
1 1
1 0

Aula 01 de Teoria Da Computação (Conceitos Iniciais)

Î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

Aula 01 de Teoria Da Computação (Conceitos Iniciais)

Încărcat de

Drepturi de autor:

Formate disponibile

Teoria da

Nosso primeiro 2 Revisão

4 Nosso primeiro Computador Formal

Apresentação 1 O que pode ser computado em princı́pio?

1 Linguagens Formais, Autômatos e Computabilidade:

1 Linguagens Formais, Autômatos e Computabilidade:

1 Linguagens Formais, Autômatos e Computabilidade:

Roteiro • Um conjunto é um grupo de elementos distintos;

Revisão • Usamos parênteses para representá-los: A = {1, 4, 77, 8},

• O conjunto vazio é representado por ∅;

• Os elementos de um conjunto podem também ser

• Inclusão própria: A ( B (A é subconjunto próprio de B)

• P(C) é o conjunto potência de C, o conjunto de todos os

Apresentação Conjunto C = { x | propriedade sobre x}

• { x ∈ N | propriedade sobre x} é o mesmo que

• Temos também triplas, quádruplas, quı́ntuplas... em geral

Apresentação • A × B denota o produto cartesiano de A com B.

• Podemos fazer o produto cartesiano de um conjunto com

• Cada elemento de A aparece exatamente uma vez em f .

Revisão • Um Alfabeto é simplesmente um conjunto finito de

• Uma Palavra sobre um alfabeto Σ é uma seqüência finita

• Concatenação possui o significado natural:

• xk denota a concatenação de x consigo mesma k vezes:

Revisão • Uma Linguagem sobre um alfabeto Σ é simplesmente um

• Uma linguagem especial: Σ∗ é o conjunto de todas as

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