Предмет: Теорија формалних језика и програмски језици (17.DOM44L )
Студијски програми предмета:
Степен и врста студија | Назив |
---|---|
Докторске студије | Математика у техници (Година: 1, Семестар: Летњи) |
Категорија | Научно-стручни |
Ужа научна област |
|
ЕСПБ | 10 |
Циљ предмета јесте стицање знања и упознавање са основним резултатима из теорије формалних језика. Докторанди ће тренирати вештине постављања формалних метода и анализирање њихових особина користећи познате методе и резултате из наведених области. Крајњи циље јесте да студенти савладају формалне технике које се користе у развоју програмских језика, а да им та знања коначно омогуће да се активно укључе у истраживања из одређених области примена теорије формалних језика.
Као исход предмета, докторанд ће поседовати основна знања и познавати основне резултате из теорије формалних језика. Поред тога, докторанди ће владати вештином постављања формалних метода и анализирањем њихових особина, користећи познате методе из наведених области. Студенти ће научити формалне технике које се користе у развоју програмских језика. Млади истраживачи ће бити укључени у истраживања из одређених области примена теорије формалних језика, по избору студента, а у сарадњи са научницима из земље и иностранства.
Формалне граматике. Представљање формалних језика. Хијерархија Чомског. Регуларни језици, регуларни изрази и коначни аутомати. Контекстно независни језици и Потисни аутомати. Контекстно осетљиви језици. Граматике типа 0. Питања одлучивости у разним класама граматика. Примене формалних граматика у програмским језицима. Аутомати над бесконачним речима и примена у верификацији.
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама. Кроз студиски истраживачки рад студент, проучавајући научне часописе и осталу литературу самостално продубљује градиво са предавања. Уз рад са наставником студент се оспособљава за самостално писање научног рада.
Аутори | Назив | Година | Издавач | Језик |
---|---|---|---|---|
Ирена Спасић, Предраг Јаничић | ТАЈА - Збирка задатака | 2000 | Математички факултет, Београд | Српски језик |
1969 | Енглески | |||
1986 | Енглески | |||
Зоран Огњановић, Ненад Крџавац | Увод у теоријско рачунарство | 2005 | Факултет организационих наука, Београд | Српски језик |
1981 | Енглески |
Предметна активност | Предиспитна | Обавезна | Број поена |
---|---|---|---|
Предметна активност Предметни пројекат |
Предиспитна Да |
Обавезна Да |
Број поена 50.00 |
Предметна активност Теоријски део испита |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
проф. др Јованка Пантовић
Редовни професор
Предавања
проф. др Јованка Пантовић
Редовни професор
Студијски истраживачки рад