Subject

Формални јазици и автомати

Course Title

Формални јазици и автомати
Formal languages and automata

Code

F18L3S039

Study Programme

Computer Science

Organizer of the study programme (unit, institute, department or division)

Faculty of Computer Science and Engineering

Degree level (first, second, third cycle)

Прв циклус

Academic year / semester

6 / Летен

Number of ECTS credits

Teacher

—

Prerequisites for enrolling in the course

Структурно програмирање

10.

Objectives of the course programme (competences)

Оспособеност за користење на формалните модели на пресметливост како основа за теорија и пракса на програрамските јазици, компајлери, како и за пратење на повисок курс од теоријата на пресметливоста. Запознавање со јазици, регуларни и контекстно слободни јазици, конечни автомати и push down автомати, граматики и врската меѓу определен вид на автомати и јазици.

11.

Course content

Вовед во автомати и формални јазици; Конечни автомати; Регуларни изрази и јазици; Својства на регуларните јазици; Контекстно слободни граматики и јазици; Pushdown автомати; Својства на контекстно слободните јазици; Тјурингови машини; Неодлучивост; P, NP и други класи на проблеми;

12.

Learning methods

Предавања со користење на презентации, интерактивни предавања, вежби (користење на опрема и софтверски пакети), тимска работа, пример случаи, поканети гости предавачи, самостојна изработка и одбрана на проектна задача и семинарска работа.

13.

Total available time

6 ECTS x 30 hours = 180 hours

14.

Distribution of available time

30 + 45 + 15 + 15 + 75 = 180 часа

15.

Forms of teaching activities

15.1.	Lectures - theoretical instruction	30 hours
15.2.	Exercises (laboratory, auditory), seminars, teamwork	45 hours

16.

Other forms of activities

16.1.	Project assignments	15 часови
16.2.	Independent assignments	15 часови
16.3.	Home study	75 часови

17.

Assessment method

17.1.	Tests	0 points
17.2.	Seminar paper / project (presentation: written and oral)	15 бодови
17.3.	Activities and learning	0 points
17.4.	Final exam	90 бодови

18.

Grading criteria (points / grade)

up to 50 points	5 (five) (F)
from 51 to 60 points	6 (six) (E)
from 61 to 70 points	7 (seven) (D)
from 71 to 80 points	8 (eight) (C)
from 81 to 90 points	9 (nine) (B)
from 91 to 100 points	10 (ten) (A)

19.

Requirement for obtaining a signature and taking the final exam

Реализирани активности 15.2 и 16.1

20.

Language of instruction

Macedonian and English

21.

Method for monitoring the quality of teaching

internal evaluation and survey mechanism

22.

Literature

22.1.	Required literature No. Author Title Publisher Year
22.2.	Additional literature No. Author Title Publisher Year