Please enable JavaScript.

Coggle requires JavaScript to display documents.

Teoria da Computação - Coggle Diagram

- - - - Partição / Conjunto das Partes P(A)
        
        Todos subconjuntos formados a partir dos elementos de um conjunto
        
        2^n
      - Conjuntos Iguais A = B
      - Conjuntos Disjuntos A ∩ B = ∅
      - Subconjuntos A ⊆ B
      - Propriedades
        
        Reflexiva
        
        Todo elemento se relaciona consigo mesmo
        
        Simetria
        
        Se 𝐴 → 𝐵, então 𝐵→𝐴
        
        Transitiva
        
        Se A se relaciona com B e B se relaciona com C, então A se relaciona com C
    - - Conjunto Vazio = ∅ = { }
      - Conjunto Finito = {a,b,c}
      - Conjunto Infinito = {a,b,c, ...}
      - Conjunto Unitário = {a}
      - Conjunto Universo = U
    - - Injeção / Função Injetora
        
        Cada elemento do conjunto de chegada é mapeado por no máximo um do domínio
      - Bijeção / Função Bijetora
        
        Cada elemento do domínio se relaciona com um único elemento do contradomínio, e vice-versa
        
        É injetora e sobrejetora ao mesmo tempo
      - Sobrescrição / Função Sobrejetora
        
        Todo elemento do conjunto de chegada é atingido por algum do domínio
- - - - Fita Infinita para os dois lados
      - Múltiplas Fitas
      - Múltiplos cabeçotes de leitura
      - Não determinismo
    - - M = (Conjunto de estados finitos, Σ, δ, estado inicial, conjunto de estados de parada, branco)
    - - Decisão
        
        Chega a estado final
      - Semidecisão
        
        Para quando for sim, mas não para quando for não
      - Loop
        
        Não decide
    - - Máquina M que executa máquina M
- - - - Linguagens Livres de Contexto
        
        Linguagens regulares
- - - - zero
      - identidade
      - sucessor