uros.cibej/IRZ
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Materiali za predmet IRZ
3 commits 1 branch 0 tags 490 KiB
Find a file
Exact
Uroš Čibej 82c1f0c379 prvo predavanje
2026-10-06 20:59:46 +02:00
p01 prvo predavanje 2026-10-06 20:59:46 +02:00
README.md Teme po tednih 2026-09-15 15:59:53 +02:00

README.md

Materiali s predavanj pri predmetu IRZ.

Teme (po tednih)

  1. Uvod, osnove dokazovanja, moč množic
  2. Končni avtomati, nedeterminizem
  3. Ekvivalenca končnih avtomatov, regularni izrazi
  4. Ekvivalenca reg. izrazov in končnih avtomatov, neregularnost
  5. Izrek Myhill-Nerode, uporaba in minimizacija avtomatov
  6. Skladovni avtomati in kontekstno neodvisne gramatike
  7. Turingov stroj in razširitve, Church-Turingova teza
  8. (Ne)odločljivost
  9. Prevedbe in PKP
  10. Časovna zahtevnost
  11. Cook-Levinov izrek
  12. NP-polni problemi, prevedbe
  13. Prostorska zahtevnost, PSPACE