Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Вежбе (2007-2017) Микрорачунари (стари статут) Увод у организацију и архитектуру рачунара 1 Увод у организацију и архитектуру рачунара 2 Архитектура рачунара Превођење програмских језика Веб програмирање
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
272496
Бројач данашњих посета
83
Ваша интернет адреса
54.80.247.119
Време последње измене
15. 6. 2018. | 19:11:59
Тренутно време
22. 6. 2018. | 20:52:31
Месечни календар
Јун 2018
ПоУтСрЧеПеСуНе
123
45678910
11121314151617
18192021222324
252627282930
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 (6. 10. 2017.): Упознавање са предметом. Етапе и фазе превођења програмских језика. Лексичка, синтаксна и семантичка анализа.
  • Двочас 2 (13. 10. 2017.): Формални језици. Азбуке и речи. Надовезивање речи. Левијева лема. Језици и операције над њима. Клинијево затворење.
  • Двочас 3 (20. 10. 2017.): Регуларни језици и регуларни изрази. Проширена нотација регуларних израза. Регуларне дефиниције. Коначни аутомати. Конструкција коначних аутомата на основу задатих својстава језика.
  • Двочас 4 (27. 10. 2017.): Детерминистички коначни аутомати. Детерминизација коначних аутомата (конструкција по подскуповима). ε-прелази и њихова елиминација. Обједињени поступак детерминизације, елиминације ε-прелаза и употпуњавања коначних аутомата.
  • Двочас 5 (3. 11. 2017.): Својства препознатљивих језика. Затвореност у односу на скуповне операције, операције производа језика и Клинијевог затворења. Конструисање коначног аутомата на основу регуларног израза. Томпсонова конструкција.
  • Двочас 6 (10. 11. 2017.): Конструкција Глушкова. Минимализација коначних аутомата. Неродова еквиваленција. Муров алгоритам.
  • Двочас 7 (17. 11. 2017.): Одређивање регуларног израза на основу коначног аутомата. Алгоритам елиминације стања. Клинијева теорема. Лексичка анализа. Грамзиви алгоритам. Ограничења регуларних језика. Лема о разрастању.
  • Двочас 8 (1. 12. 2017.): Контекстно-слободне (КС) граматике и контекстно-слободни (КС) језици. Извођење у КС граматици. Извођење налево и надесно. Дрво извођења. Једнозначне и вишезначне граматике. Граматика израза. Изражавање асоцијативности и приоритета оператора помоћу граматика. Десно-линеарне граматике. Еквивалентност десно линеарних језика и регуларних језика.
  • Двочас 9 (8. 12. 2017.): Трансформације граматика. Елиминација некорисних симбола. Елиминација ε-правила. Елиминација једноструких правила. Елиминација леве рекурзије.
  • Двочас 10 (15. 12. 2017.): Потисни аутомати. Језик препознат потисним аутоматом. Детерминистички потисни аутомати. Еквивалентост потисно-препознатљивих језика и контекстно-слободних језика.
  • Двочас 11 (22. 12. 2017.): Синтаксна анализа наниже. LL(1) језици.
  • Двочас 12 (29. 12. 2017.): Синтаксна анализа навише. LR(1) језици. SLR(1) језици.
  • Двочас 13 (10. 1. 2018.): Семантичка анализа. Атрибутске граматике. Шеме превођења. Примери.


Резултати теоријског дела испита у јануарском року могу се видети овде. Увид у радове и упис оцена: среда, 14.2. од 14 часова.


Резултати теоријског дела испита у фебруарском року могу се видети овде. Увид у радове и упис оцена: понедељак, 5.3. од 11:30 у Јагићевој (сала ЈАГ3) или среда, 7.3. од 14:45 на Тргу (кабинет 716).


Теоријски део испита у ЈУН1 року биће одржан у суботу, 23.6. од 13 часова на Тргу.