kde najdem toto:
1. Pokročilé partie o regulárnych jazykoch a konečných automatoch
Konečno-automatové zobrazenia: príklady. Sekvenčné zobrazenia (sqz): definícia, vlastnosť
monotonnosti. Sekvenčné a zachovávajúce dĺžku zobrazenia (zdz). u
j - u-pridružené k sqz j
zobrazenia a ich vlastnosti. Relácia nerozlíšiteľnosti sqz a u-pridružených zobrazení. Báza a váha
sqz. Podmienky realizovateľnosti sq a zd zobrazení v konečnom automate. Nerodove
ekvivalencie: vzťah medzi regulárnymi a konečno-stavovými jazykmi. Metodológia na určovanie
regulárnej povahy formálnych jazykov. Aplikácia na konkrétnych príkladoch.
2. Pokročilé partie o bezkontextových jazykoch , gramatikách a zásobníkových
automatoch
Deterministické zásobníkové automaty: intuitívna (mechanická) predstava. Formálne definície
základných pojmov: konfigurácia za, výpočtový krok, výpočet akceptujúci vstupný reťazec
prázdnou konfiguráciou, resp. finálovou konfiguráciou. Deterministické jazyky. Doplnky
k deterministickým jazykom. Vlastnosti deterministických jazykov. Nedeterministické jazyky. LR(k)
gramatiky.
6. Uzáverové operácie nad jazykmi
Operácie na formálnych jazykoch. Uzavretosť operácií nad jazykmi. Uzavretosť na elementárne
operácie nad jazykmi. Zobrazenia definované na jazykoch. Uzavretosť tried jazykov vzhľadom
na zobrazenia.
?
ale nie v tych poznamkach, tie mam svoje
potrebujem len v skriptach najst, nazov knihy, strany