Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Вежбе (2007-2017) Микрорачунари (стари статут) Увод у организацију и архитектуру рачунара 2 Архитектура рачунара Превођење програмских језика Веб програмирање
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
51138
Бројач данашњих посета
123
Ваша интернет адреса
3.80.128.196
Време последње измене
5. 3. 2019. | 22:20:26
Тренутно време
24. 4. 2019. | 08:03:50
Месечни календар
Април 2019
ПоУтСрЧеПеСуНе
1234567
891011121314
15161718192021
22232425262728
2930
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.): Семантичка анализа. Атрибутске граматике. Примери.


Збирни резултати испита у фебруарском року могу се погледати овде. Увид у радове и упис оцена у четвртак, 7. марта у 17 часова у кабинету 716.