Навигација

ДС1ФЈА - Формални језици и аутомати

Спецификација предмета
НазивФормални језици и аутомати
АкронимДС1ФЈА
Студијски програмЕлектротехника и рачунарство
Модулмодул Софтверско инжењерство
Тип студијадокторске академске студије
Наставник (предавач)
Наставник/сарадник (вежбе)
    Наставник/сарадник (ДОН)
      Број ЕСПБ9.0Статус предметаизборни
      Условљност другим предметимаДискретна математика
      Циљеви изучавања предметаУпознавање са теоријом формалних језика и аутомата и њиховим значајем за рачунарство.
      Исходи учења (стечена знања)Овладавање техникама представљања проблема коришћењем коначних аутомата и техникама спецификације формалних језика.
      Садржај предмета
      Садржај теоријске наставеУвод у теорију израчунавања. Коначни аутомати. Регуларни језици и граматике. Oсобине регуларних језика. Контекстно-независни језици. Упрошћење контекстно-независних граматика. Нормалне форме. Потисни аутомати. Oсобине контекстно-независних језика. Turing-ове машине. Хијерархија формалних језика и аутомата. Ограничења алгоритамских израчунавања. Други модели израчунавања. Комплексност израчунавања.
      Садржај практичне наставе
      Литература
      1. P. Linz, "An Introduction to Formal Language and Automata", 4th ed., Jones & Bartlett Publications, 2006.
      Број часова активне наставе недељно током семестра/триместра/године
      ПредавањаВежбеДОНСтудијски и истраживачки радОстали часови
      6
      Методе извођења наставеПредавања и индивидуалне консултације.
      Оцена знања (максимални број поена 100)
      Предиспитне обавезеПоенаЗавршни испитПоена
      Активности у току предавања0Писмени испит0
      Практична настава0Усмени испит50
      Пројекти50
      Колоквијуми0
      Семинари0