×
Универзитет у Новом Саду

Предмет: Теорија формалних језика и програмски језици (17.DOM44L)

Основне информације:
 
Категорија Научно-стручни
Ужа научна област
  • Примењене рачунарске науке и информатика
  • Теоријска и примењена математика
ЕСПБ 10

Циљ предмета јесте стицање знања и упознавање са основним резултатима из теорије формалних језика. Докторанди ће тренирати вештине постављања формалних метода и анализирање њихових особина користећи познате методе и резултате из наведених области. Крајњи циље јесте да студенти савладају формалне технике које се користе у развоју програмских језика, а да им та знања коначно омогуће да се активно укључе у истраживања из одређених области примена теорије формалних језика.

Као исход предмета, докторанд ће поседовати основна знања и познавати основне резултате из теорије формалних језика. Поред тога, докторанди ће владати вештином постављања формалних метода и анализирањем њихових особина, користећи познате методе из наведених области. Студенти ће научити формалне технике које се користе у развоју програмских језика. Млади истраживачи ће бити укључени у истраживања из одређених области примена теорије формалних језика, по избору студента, а у сарадњи са научницима из земље и иностранства.

Формалне граматике. Представљање формалних језика. Хијерархија Чомског. Регуларни језици, регуларни изрази и коначни аутомати. Контекстно независни језици и Потисни аутомати. Контекстно осетљиви језици. Граматике типа 0. Питања одлучивости у разним класама граматика. Примене формалних граматика у програмским језицима. Аутомати над бесконачним речима и примена у верификацији.

На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама. Кроз студиски истраживачки рад студент, проучавајући научне часописе и осталу литературу самостално продубљује градиво са предавања. Уз рад са наставником студент се оспособљава за самостално писање научног рада.

Аутори Назив Година Издавач Језик
Ирена Спасић, Предраг Јаничић ТАЈА - Збирка задатака 2000 Математички факултет, Београд Српски језик
J.Hopcroft, J.Ullman Formal languages and their relation to automata 1969 Addison-Wesley Енглески
A. Aho, R. Sethi, J. Ullman Compilers, principles, techniques, and tools 1986 Addison-Wesley Енглески
Зоран Огњановић, Ненад Крџавац Увод у теоријско рачунарство 2005 Факултет организационих наука, Београд Српски језик
H. Lewis, C. Papadimitriou Elements of the theory of computation 1981 Prentice-Hall Енглески
Предметна активност Предиспитна Обавезна Број поена
Предметна активност
Предметни пројекат
Предиспитна
Да
Обавезна
Да
Број поена
50.00
Предметна активност
Теоријски део испита
Предиспитна
Не
Обавезна
Да
Број поена
50.00

Предавања

Студијски истраживачки рад