# Zk 28.5.

<{ForumPost(poster="Void", timestamp=2007-05-28 14:18:26)}>
Tak předně bych chtěl říct, že pan Barták je spíš dobromyslný a určitě dává co možná nejvíc šancí na to, dostat lepší známku).  
  
Problémem je spíš boj o možnost o nějakou známku vůbec usilovat :o   
Ten spočívá v udělání zaškrtávacího testu s 29 otázkami (teď už jen) na alespoň 19 bodů. Otázky jsou zákeřné, ale zato vcelku neměnné, takže se stačí naučit typově ty, co se tu začaly objevovat po předtermínu... a já k nim přidám další:  
  
 L je rekurzivně spoč. jazyk, neobsahující lamda. L^0 je podmnožinou:  
  
a)  prázdná množina  
b)  {lambda}  
c)  L^+  
d)  L^*  
  
 Jaký jazyk generuje dvousměrný konečný automat? (možnosti buď jako nějaký NKA nebo nějaký KA)  
  
 {a}\{aba,ba,baa} jak bude vypadat levý kvocient... 4 možnosti, jen jedna byla správná.  
  
 (nějak takhle) Derivační strom generativní gramatiky může mít v listech prvky z:  
  
a)  V_N^*  
b)  V_T^*  
c)  V_N  
d)  V_T  
  
 L je rekurzivně spočetný jazyk, jaký jazyk je jeho doplňek? (nejsem si jist možnostma, ale žádná z nich to nebyla)  
  
 Pak spousta otázek na KA, ty se musí hlavně pozorně číst, jinak ale nejsou moc těžké.  
  
Po absolvování testu dostanete papír s příkladem, kde máte buď sestrojit gramatiku nebo automat, potom s tím něco udělat a pak ještě něco dokázat.   
Já měl sestrojit kontextovou gramatiku generující jazyk {a^ib^jc^k| i>j>k}, dokázat, že tento jazyk není bezkontextový, napsat definice kontextových a monotónních gramatik a popsat vztah mezi nimi + dk.  
  
Vždy když si myslíte, že už to máte, tak se na to pan Barták podívá a když se mu to ještě nelíbí, nechá vás to dodělat. Když už to uzná za hotové, tak se podívá na zaškrtávací test a případně se zeptá na věci, které byly špatně zaškrtnuté - ale spíš je to něco jako "Proč jste to zaškrtnul takhle, co vás k tomu vedlo." než že by ste museli vymyslet správnou odpověď. Prostě vyplatí se tam vyloženě netypovat  :)   
  
Jinak smlouvání o známce je taky možné, většinou se dostane ještě něco navíc dokázat.. :D   
  
Celkově si ale myslím, že je to v porovnání s ostatníma spíš těžší zkouška srovnatelná třeba s neprocedurálkem... takže jsem rád, že to mám za sebou :P
<{/ForumPost}>

<{ForumPost(poster="Sakuri", timestamp=2007-05-28 16:52:45)}>
Jaka je spravna odpoved hned u te prvni otazky? A u derivacniho stromu muzou byt v listech jen terminaly nebo lambda, takze pouze prvky z V_t, z tech moznosti?
<{/ForumPost}>

<{ForumPost(poster="PzX", timestamp=2007-05-28 20:51:40)}>
Ja bych rekl, ze a), b), d).  
  
Vn* obsahuje lambda  
Vt* obsahuje lambda a terminaly  
Vt obsahuje terminaly.  
  
Ale vi-li o tom nekdo vic, napiste... na zkousku jdu az zitra :)
<{/ForumPost}>

<{ForumPost(poster="aTom", timestamp=2007-05-28 23:26:35)}>

 > Void wrote:
 >  L je rekurzivně spoč. jazyk, neobsahující lamda. L^0 je podmnožinou:  
 >   
 > a)  prázdná množina  
 > b)  {lambda}  
 > c)  L^+  
 > d)  L^*
 > 
 >  > PzX wrote:
 >  > Ja bych rekl, ze a), b), d).

Pokud by bylo a, spravne, pak to znamena, ze L^0 je prazdna mnozina, neb ta jedina je podmnozinou prazdne mnoziny. A protoze prazdna mnozina je podmnozina jakekoliv mnoziny, musely by byt spravne vsechny ostatni moznosti.  
  
Podle slajdu je (u regularnich jazyku) L^0 = {lamba}, predpokladam, ze to plati pro vsechny jazyky stejne. Ja bych tedy oznacil b, d,  

 > A u derivacniho stromu muzou byt v listech jen terminaly nebo lambda, takze pouze prvky z V_t, z tech moznosti?

Souhlasim
<{/ForumPost}>

<{ForumPost(poster="PzX", timestamp=2007-05-29 00:27:30)}>
Tak to jsme si ani trochu nerozumeli, moje odpovedi byly k otazce, L^0 je podmnozinou .... :)
<{/ForumPost}>

<{ForumPost(poster="PzX", timestamp=2007-05-29 00:28:33)}>
Sorry, myslel jsem tim ze moje odpoved byla k otazce, ze derivacni strom muze mit prvky z .. Vt apod..
<{/ForumPost}>

<{ForumPost(poster="PzX", timestamp=2007-05-29 00:30:11)}>
No a k tem jazykum.. L^0 je zcela jiste {lambda}  
a to je podmnozinou   
  
 - {lambda}  
 - L* (protoze L* obsahuje L^0, tedy lambdu..}  
a ty zbyle dve odpovedi ne
<{/ForumPost}>

<{ForumPost(poster="Schiroo", timestamp=2007-05-29 01:03:32)}>
jaj, já myslel, že tam probíráš obě otázky  :)   
U těch derivačních stromů zálěží na přesné formulaci té otázky - pokud stačí, že  Vt* a Vn* obsahují lambu, pak bych je - jak popisuješ - zaškrtl, jinak ne.   
Ale zdá se mi pravděpodobnější, že tím chtěl zjistit, zda si někdo myslí, že v jednom listu může být víc symbolů, a formuloval to tak, aby správně bylo jen Vt. Ale to už je jen spekulace  
 :wink:
<{/ForumPost}>

<{ForumPost(poster="Sakuri", timestamp=2007-05-29 09:36:41)}>
Ja bych to chapala taky tak, ze chtel jen V_t aby se ukazalo, ze clovek vi, ze tam muze v kazdem listu byt bud jeden neterminal nebo lambda... a to ostatni bych tam nedavala, protoze lambda je dost tak zakerna, nekdy se pise uplne zvlast mimo V_n i V_t. Proto nesnasim tenthle typ testu, clovek si to muze vykladat uplne jinak, nez on :?
<{/ForumPost}>

<{ForumPost(poster="Void", timestamp=2007-05-29 10:52:47)}>
Tak odpověď na tu otázku s L^0 je určitě b) a d).  
U toho derivačního stromu bylo správně jen V_T.  
  
Jinak některý ty otázky sou tak zamotaný, že i podle jeho šablony tam byla špatná odpověď.   
Třeba tam byl nakreslenej NKA a mělo se říct, do jakých stavů se může dostat po přečtení prvních dvou znaků jakéhokoli přijímaného slova. Vtip byl ale v tom, že těma dvěma znakama se dalo dostat i do stavu, ze kterýho nevedla žádná hrana, ten musel být v odpovědi taky...
<{/ForumPost}>