Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Вежбе (2007-2017) Микрорачунари (стари статут) Увод у организацију и архитектуру рачунара 2 Архитектура рачунара Превођење програмских језика Веб програмирање
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
7068
Бројач данашњих посета
51
Ваша интернет адреса
18.212.93.234
Време последње измене
28. 11. 2018. | 08:44:17
Тренутно време
11. 12. 2018. | 11:26:26
Месечни календар
Децембар 2018
ПоУтСрЧеПеСуНе
12
3456789
10111213141516
17181920212223
24252627282930
31
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.): Разрешавање вишезначности. Приоритет и асоцијативност. Трансформације граматика.


Пример прошлогодишњег теоријског колоквијума можете погледати овде.