This is an old revision of the document!

Laborator AA

Masina Turing

  1. A Turing Machine consists of:
    • an alphabet $ \Sigma$
    • a set of states $ K$
    • an initial state $ q_0$
    • a transition function $ \delta : K \times \Sigma \rightarrow K \times \Sigma \times \{L,H,R\}$
    • a set of final states $ F \subseteq K$
  • Exercitii simple cu MT
  • Exercitii cu MTU si conceptul de simulare
  • Algoritmi

Decidabilitate

  • Ce este o problema de decizie?
  • Problema si rezolvare;
  • Lista de probleme care (pot/nu pot) fi rezolvate;
  • Reduceri
  • Further work: coRE, complement, dovetailing

Notatii asimptotice

  • Implementari care sa ilustreze faptul ca constanta conteaza/nuconteaza
  • Implementari care sa ilustreze faptul ca log n » n » n2 »> n3
  • Grafice (in ?!)
  • Exercitii clasice

Recurente

  • Cativa algoritmi si recurentele lor
  • Exercitii clasice

NP completitudine

  • Implementare care sa ilustreze exponentiala (backtracking); legatura cu MTN.
  • Reduceri pentru SAT solvere
  • Exercitii clasice cu reduceri

TDA-uri

  • Conceptul de operator vs cel de functie (exercitiu in C, exercitiu in Haskell, pe Liste)
  • Exercitii clasice