Изаберите језик:
rs rsl en
Информације и наука
Информације Наука
Настава
Опште информације Вежбе (2007-2017) Микрорачунари (стари статут) Аутоматско резоновање Увод у организацију и архитектуру рачунара 2 Архитектура рачунара Превођење програмских језика
Важне локације
Универзитет у Београду Математички факултет Катедра за рачунарство и информатику Група за аутоматско резоновање (АРГО)
Бројач посета
82682
Бројач данашњих посета
30
Ваша интернет адреса
18.206.187.81
Време последње измене
11. 2. 2020. | 19:38:00
Тренутно време
1. 6. 2020. | 10:30:38
Месечни календар
Јун 2020
ПоУтСрЧеПеСуНе
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. 10. 2019.): Упознавање са предметом. Процес превођења програмских језика. Компилација и интерпретација.
  • Двочас 2 (9. 10. 2019.): Азбука, реч, језик. Регуларни језици и регуларни изрази.
  • Двочас 3 (16. 10. 2019.): Ограничења регуларних језика. Лема о разрастању (пампинг лема). Контекстно слободни језици (КСЈ) и контексно слободне граматике (КСГ). Стабло извођења. Једнозначне и вишезначне граматике.
  • Двочас 4 (23. 10. 2019.): Трансформације граматика. Елиминација некорисних симбола. Елиминација ε-правила. Елиминација једноструких правила. Елиминација леве рекурзије.
  • Двочас 5 и 6 (30. 10. 2019.): Коначни аутомати. Дефиниција и примери. Детерминистички коначни аутомати. Елиминација ε-прелаза. Употпуњавање и детерминизација коначних аутомата. Конструкција по подскуповима. Особине препознатљивих језика. Пресек, унија, разлика и комплемент. Надовезивање и Клинијево затворење.
  • Двочас 7 (13. 11. 2019.): Конструкција Томпсона и Глушкова. Минимизација коначног аутомата. Муров алгоритам.
  • Двочас 8 (27. 11. 2019.): Алгоритам елиминације стања. Клинијева теорема.
  • Двочас 9 (4. 12. 2019.): Потисни аутомати. Детерминистички потисни аутомати.
  • Двочас 10 (11. 12. 2019.): Синтаксна анализа наниже. LL(1) граматике. Таблице LL(1) анализе.
  • Двочас 11 (18. 12. 2019.): Синтаксна анализа навише. LR(1) и SLR(1) граматике. Аутомат LR-анализе. Таблице SLR(1) анализе.
  • Двочас 12 (25. 12. 2019.): Семантичка анализа. Атрибутске граматике. Синтетизовани и наслеђени атрибути.


Збирни резултати колоквијума могу се видети овде.


Збирни резултати након фебруарског рока могу се видети овде. Увид у радове мејлом. Упис оцена: четвртком, у паузама између мојих предавања.