Zk 28.5.

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

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?

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 :)

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

Tak to jsme si ani trochu nerozumeli, moje odpovedi byly k otazce, L^0 je podmnozinou .... :)

Sorry, myslel jsem tim ze moje odpoved byla k otazce, ze derivacni strom muze mit prvky z .. Vt apod..

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

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:

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 :?

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...