Arvutiteaduse instituut
  1. Esileht
  2. Automaadid, keeled ja translaatorid
EN
Logi sisse

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.
Tartu Ülikooli arvutiteaduse instituudi kursuste läbiviimist toetavad järgmised programmid:
euroopa sotsiaalfondi logo