# Zkouška Surynek první termín v červnu 2016

<{ForumPost(poster="Quique", timestamp=2016-06-14 13:57:58)}>
Jako obvykle u Surynka.. zařadit jazyk do Chomského hierarchie a potom jedna teoretická otázka  
  
otázky, které jsem zaslechl u ostatních:  
Nedeterministické KA a jejich síla;  
lineárně omezené TS a proč kont. jazyk;  
korespondenční poroblém;  
gramatiky TS a vztah k rekurzivně spočetným jazykům;  
regulární výrazy - co to je a k čemu to je;  
algoritmus CYK;  
Myhill-Nerod;  
Vícepáskové  deterministické TS;  
jazyk Lu a halting problem;  
Bezkontextové pumping lemma;  
nedeterministické TS a převod na deterministické;  
vztah kontextových a nezkracujících gramatik  
  
ale vybírá náhodně z velmi dlouhého seznamu, na kterém je zcela vše, co bylo na přednášce  
  
  
ještě v příloze přidávám mojí přípravu na zařazení jazyků (jazyky jsem bral z fora a různých cvik)  
  
plus ještě jeden hnusný jazyk, který se na zkoušce vyskytl:  
a^(i^2 + i + 1)  
  
a ještě tam bylo mnoho takových, kde se vyskytuje: kod(T)...

*Attachments:*

- *[2016-06-01 12.52.48.jpg](/Forum%20archiv/Attachments/6981_6837121a2928feb099d9739efc44adbe)*
- *[2016-06-01 12.52.33.jpg](/Forum%20archiv/Attachments/6981_dc49060a19d1cd0ae9b4973d89f0c4ed)*
- *[reseni jazyku.txt](/Forum%20archiv/Attachments/6981_113ea166f9cf8854e404b2b4d904d171)*

<{/ForumPost}>

<{ForumPost(poster="befelemepeseveze", timestamp=2016-06-27 00:55:33)}>
Jazyk č. 4 se u zkoušky objevuje i ve variantě s rovností u = v. V takovém případě je kontextový.
<{/ForumPost}>