Arvutiteaduse instituut
  1. Esileht
  2. Automaadid, keeled ja translaatorid
EN
Logi sisse
Tähelepanu! Tehnilise tõrke tõttu on hetkel kättesaadavad vaid 2020.a. ja hilisemad üles laetud failid ja kevadsemestri kursused. Rikke kõrvaldamisega tegeletakse.

Automaadid, keeled ja translaatorid

  • Üldinfo
  • Ajakava
  • Eksami näidised
  • Teemad
    • 1. Soojendus
    • 2. Regulaaravaldised
    • 3. Automaadid
    • 4. Avaldise struktuur
    • 5. Grammatikad ja lekser
    • 6. Käsitsi parsimine
    • 7. ANTLRiga töötamine
    • 8. Interpretaator
    • 9. Kompilaator
    • 10. Edasi!
  • Süvendus
  • Bitbucket
  • Moodle
  • Zulip
  • Zoom

Huviring

  • Huviringi Zulipi kanal.

1. huviring (11.02)

  1. Kompilaatori ülevaade: Milleks AKT ja huviring.
  2. Meie huvi: programmianalüüs, eriti mitmelõimeliste programmide.
  3. Mäng demonstreerimaks mitmelõimeliste programmide probleeme: The Deadlock Empire.
  4. Võimalus kasutada Kotlinit.

2. huviring (18.02)

  1. Tutvumisõhtu jätkub: Goblinti ja GobPie demo (slaidid).
  2. Regex challenge: 1 ja 2.
  3. Regex Crossword: Beginner 1, Intermediate 3 ja MIT Mystery Hunt 2013.

3. huviring (04.03)

  1. Tutvumisõhtu jätkub: SV-COMP.
  2. Olekumasinad.

4. huviring (11.03)

  1. Püsipunktid.
  2. Model checking: ModelChecker ja ProgModels klassid.

5. huviring (18.03)

  1. Model-based testing
    • GraphWalker.
    • https://github.com/alexandrapollumae/Model-Based-Testing
  2. Tutvumisõhtu jätkub: kõik Teie!

6. huviring (25.03)

  1. Isabelle
  2. Teie küsimused ja soovilood.

7. huviring (01.04)

  1. OCaml: akthuvi2022.
    • Kohapeal aitame opam-i püsti panemisega, aga kodus võiks alustada WSL-i/homebrew-ga.
  2. Grammatika automaadid.

8. huviring (08.04)

  1. OCaml jätkub: Rnd.eval, Imp.eval, Rnd.eval_list, Rnd.eval_set, Imp.eval Map-iga.

9. huviring (22.04)

  1. Abstraktse interpretatsiooni teooria: Jan Midtgaardi slaidid (AIWS'15)
  2. Abstraktse interpretatsiooni implementeerimine OCaml-is.

10. huviring (29.04)

  1. Jätkame abstraktse interpretatsiooni implementeerimist OCaml-is.

11. huviring (06.05)

Ei toimunud.

12. huviring (13.05)

  1. Joachim Raue ettekande video.
  2. 15:30 Q&A sessioon Zoomis.

13. huviring (20.05)

  1. Projektidest.
  2. Invariandid.

14. huviring (27.05)

  1. Verifitseeritud programmeerimise keel Dafny.
  2. InvGenGame.
  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.