Ak je tu niekto kto mi poradi, ze kde najdem odpoved na otazky v 1. teme :
- Nerodove ekvivalencie: vzťah medzi regulárnymi a konečno-stavovými jazykmi.
- Metodológia na určovanie regulárnej povahy formálnych jazykov. (je to nieco s PumpLemma a Nerodovou vetou? bn)
- Aplikácia na konkrétnych príkladoch.
- bol by som velmi zaviazany Diki.
metodo logia je toto:
frazovy jezyk je kazdi jazyk ktory je vypocitatelny na nejako turingovom stroji
konteztovy jazyk je jazyk ktoreho pravidla (alfa -> beta je take, ze dlzka alfy je menzia ako dlzka bety kde alfa, beta patria do Vn zjednotenie Vt)
bezkontextovy jazyk je taky ktory obsahuje kontextove pravidla
a regularny jazyk ma take a take pravidla...
si to pozri u Hoprocta Ulmana, 2. alebo 3. kapitola, myslim.
(nieco o vztahu regularnych jazykov a konecnych automatoch, tusim )