--------------------
01. Regularni jeziki
--------------------
- načini opisovanja RJ (KA: DKA, NKA, ɛ-NKA; RI; neformalni opisi - primer)
- primernost različnih načinov opisa (samo DKA lahko "sprogramiramo")

--------------
02. Kaj je KA?
--------------
- matematična definicija
- grafična predstavitev
- KA (ne) sprejemajo niz(e)
- DKA - primer, Java program
- NKA - primer
- ɛ-NKA - ɛ-ovojnica stanja + primer
- KA z izhodom (pretvorniki)
	+ Moore-ov avtomat
	+ Mealy-jev avtomat
	+ Moore <--> Mealy - primer

--------------
03. Kaj je RI?
--------------
- definicija, prednost operatorjev + primer
- razširitve RI + primer
- UNIX notacija + find/replace primer

----------------------------------------
04. Pretvarjanje med različnimi opisi RJ
----------------------------------------
- RI --> ɛ-NKA
- ɛ-NKA --> NKA
- NKA --> DKA
- DKA --> RI

----------------------------
05. Odločitvene lastnosti RJ
----------------------------
- je RJ prazen?
- članstvo v jeziku (wϵL?)
- je RJ (nes)končen?
- konstrukcija produktnega DKA
	+ ekvivalenca
	+ vsebovanost
- minimizacija DKA

---------------------------
06. Lastnosti zaprtja za RJ
---------------------------
- unija, stik, Kleene-ova ovojnica, presek
- razlika, komplement, zrcaljenje
- homomorfizem, inverzni homomorfizem

----------------------------
07. Lema o napihovanju za RJ
----------------------------
- za dokazovanje, da nek jezik ni RJ - primer

--------------------
08. Morda še kaj ...
--------------------
???