Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Вежбе (2007-2017) Микрорачунари (стари статут) Увод у организацију и архитектуру рачунара 2 Архитектура рачунара Превођење програмских језика Веб програмирање
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
28920
Бројач данашњих посета
222
Ваша интернет адреса
18.212.222.217
Време последње измене
10. 2. 2019. | 19:17:37
Тренутно време
20. 2. 2019. | 14:21:17
Месечни календар
Фебруар 2019
ПоУтСрЧеПеСуНе
123
45678910
11121314151617
18192021222324
25262728
XHTML 1.0 Strict validation CSS 2.1 validation
Matf
Milan Bankovic
Универзитет у Београду
Математички факултет
Катедра за рачунарство
Милан Банковић
Доцент
milan@matf.bg.ac.rs





  • Душко Витас: Преводиоци и интерпретатори
  • Alfred Aho, Ravi Sethi, Jeffrey Ullman: Compilers: principles, techniques, and tools
  • Alfred Aho, Jeffrey Ullman: The theory of parsing, translation and compiling
  • Никола Ајзенхамер, Ања Букуров: Превођење програмских језика (нерецензиран рукопис)


  • Двочас 1 (2-3. 10. 2018.): Упознавање са предметом. Процес превођења програмских језика. Компилација и интерпретација.
  • Двочас 2 (9-10. 10. 2018.): Увод у теорију формалних језика. Операције над језицима. Регуларни језици и регуларни изрази.
  • Двочас 3 (16-17. 10. 2018.): Коначни аутомати. Примери. Детерминистичност и потпуност. Конструкција по подскуповима. Елиминација ε-прелаза.
  • Двочас 4 (23-24. 10. 2018.): Особине препознатљивих језика. Комплемент, унија, пресек, разлика. Надовезивање и Клинијево затворење.
  • Двочас 5 (30-31. 10. 2018.): Конструкција аутомата за дати регуларни израз. Томпсонова и Глушковљева конструкција. Минимизација коначних аутомата. Неродова еквиваленција.
  • Двочас 6 (6-7. 11. 2018.): Муров алгоритам минимизације коначних аутомата. Одређивање регуларног израза на основу коначног аутомата. Алгоритам елиминације стања.
  • Двочас 7 (13-14. 11. 2018.): Лексичка анализа. Грамзиви алгоритам. Ограничења регуларних језика. Лема о разрастању (pumping lemma). Контекстно слободне граматике. Стабло извођења. Извођење налево и надесно. Вишезначност.
  • Двочас 8 (27-28. 11. 2018.): Разрешавање вишезначности. Приоритет и асоцијативност. Трансформације граматика. Елиминација некорисних симбола.
  • Двочас 9 (2. 12. 2018.): Трансформације граматика. Елиминација ε-прелаза. Елиминација једноструких правила. Елиминација леве рекурзије.
  • Двочас 10 (4-5. 12. 2018.): Потисни аутомати. Конструкција потисних аутомата на основу граматике. Детерминистички потисни аутомати. Односи између класа језика препознатих различитим варијантама потисних аутомата.
  • Двочас 11 (11-12. 12. 2018.): Синтаксна анализа наниже. Скупови Први и Следећи. LL(1) граматике. Алгоритам LL(1) анализе.
  • Двочас 12 (18-19. 12. 2018.): Синтаксна анализа навише. LR(1) граматике. Алгоритам SLR(1) анализе.
  • Двочас 13 (25-26. 12. 2018.): Семантичка анализа. Атрибутске граматике. Примери.


Резултате теоријског колоквијума можете погледати овде. Увид у радове: јавити се мејлом.


Теоријски део испита у фебруарском року биће одржан у суботу, 2.3. од 9 часова у сали 706.

За студенте којима је експлицитно одобрено полагање теоријског испита у ранијем термину, термин полагања је: четвртак, 21.2. од 12 часова у 821.