Sticanje osnovnih znanja iz teorije formalnih jezika i primena u razvoju programskih jezika.

Poznavanje osnovnih pojmova i rezultata iz teorije formalnih jezika. Uključivanje u istraživanje iz odredjenih oblasti primena teorije formalnih jezika, po izboru studenta, a u saradnji sa naučnicima iz zemlje i inostranstva.

Formalne gramatike. Predstavljanje formalnih jezika. Hijerarhija Čomskog. Regularni jezici, regularni izrazi i konačni automati. Kontekstno slobodni jezici i Potisni automati. Kontekstno osetljivi jezici. Gramatike tipa 0. Pitanja odlučivosti u raznim klasama gramatika. Primene formalnih gramatika u programskim jezicima. Automati nad beskonačnim rečima i primena u verifikaciji.

Na predavanjima se izlaže teoretski deo gradiva propraćen karakterističnim primerima radi lakšeg razumevanja gradiva. Student samostalno proučava dodatnu literaturu i diskutuje je sa nastavnikom na konsultacijama. Kroz studiski istraživački rad student, proučavajući naučne časopise i ostalu literaturu samostalno produbljuje gradivo sa predavanja. Uz rad sa nastavnikom student se osposobljava za samostalno pisanje naučnog rada.