Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Вежбе (2007-2017) Микрорачунари (стари статут) Увод у организацију и архитектуру рачунара 2 Архитектура рачунара Превођење програмских језика Веб програмирање
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
24799
Бројач данашњих посета
268
Ваша интернет адреса
34.201.121.213
Време последње измене
5. 7. 2019. | 19:27:50
Тренутно време
20. 7. 2019. | 19:53:11
Месечни календар
Јул 2019
ПоУтСрЧеПеСуНе
1234567
891011121314
15161718192021
22232425262728
293031
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.): Семантичка анализа. Атрибутске граматике. Примери.


Резултати теоријског дела испита, као и збирни резултати у јунском року могу се видети овде. Увид у радове (теорија) и упис оцена: понедељак, 8.7. у 12:30 у учионици 844.