Toto je stará verze stránky AutomatyAGramatiky/ZkouškaLS2008 z 2008-05-27 22:39:42..

Automaty a gramatiky – zkouška LS 2008

Písemná část trvá 2 hodiny čistého času. Nejprve se píše zaškrtávací test, pokud získáte dostatečný počet bodů (oficiálně 19, ale dva jsme prošli s 18, otázek je celkem asi něco pod třicet), dostanete zadání vlastní písemky. Skóre z testu ovlivňuje i (případnou) známku ze zkoušky (to říkal přímo Barták), nicméně jsem živoucím důkazem, že i z 18 bodů lze vymáčknout dvojku.

Nějaká stará zadání testů nalezená na fórech (nebojte: 1. dostanete jiné, 2. vyznačené odpovědi jsou někdy špatně, 3. půlka stejně nejde přečíst, ale aspoň něco se bude krýt;)):

Já jsem se teda z těchhle testů moc nepřipravoval (asi chyba), ale stejně jsem měl i otázky, které tam nebyly. Vzpomínám si třeba na:

A₁ = (Q₁, X, δ₁, q₁, F₁); A₂ = (Q₂, X, δ₂, q₂, F₂); A = (Q₁ x Q₂, X, δ, (q₁, q₂), Q₁ x Q₂), δ(p,q), x) = (δ₁(p,x), δ₂(q,x)). Následovaly možnosti, čemu se rovná L(A). Nerovná se ale ničemu nabízenému, protože jako koncové stavy má Q₁ x Q₂ (tzn. všechny).
Jakým jazykem se dá popsat regulární výraz: možnosti regulárním, bezkontextovým, lineárním a nevímjakýmještě. Formulace byla možná ještě trochu jiná. Fígl je ale v tom uvědomit, že jde o jazyk, jehož slovy jsou regulární výrazy, nikoli jazyk, který se dá popsat regulárním výrazem. Regulární jazyk tedy není správná odpověď. Tuším, že o takovém jazyce se na přednášce mluvilo, takže ta otázka není úplně neoprávněná, navíc je jednoduchá, pokud ji pochopíte...
(Pak taky něco týkající se Turingova stroje, automatu se dvěma zásobníky, dvěma čtecími hlavami, dvěma páskami a nevímčímještě, možná si někdo vpomene konkrétně. Ale byli mezi tím i ne zcela triviální věci, třeba ten automat se dvěma zásobníky má zřejmě sílu Turingova stroje.)

A moje zadání písemky vypadalo takhle nějak:

Je dán jazyk L = {aⁱb^jc^k | i < j < k}. Zkonstruuj kontextovou gramatiku G, tž. L = L(G). Dokaž, že pro daný jazyk nejde zkonstruovat kontextová gramatika. Definuj kontextovou gramatiku, monotónní gramatiku, vztah mezi nimi. Dokaž. (Tzn. jednalo se o to, že z pro každou monotónní gramatiku lze zkonstruovat kontextovou gramatiku generující týž jazyk.)

— Adam (zkouška 27. května)

Moje vypadalo zase takhle:

Zkonstruujte redukovany deterministicky konecny automat, ktery prijima slova z jazyka {a,b}*, ktera na konci maji skupinu symbolu a – alespon vsak dvou -, predchazenou symbolem b. Co to je redukovany automat? Co to je ekvivalence stavu? Dokazte vsechna tvrzeni a vety, ktere jste pouzili pri tvorbe automatu.

— Cestmir (zkouska 27. kvetna)

Po dopsání následuje přesun a ústní zkoušení, které probíhá příjemně, ale zase nic nedostanete zadarmo. Zkoušení trvá v průměru poměrně dlouho, za hodinu se vyzkouší odhadem nejvýše pět lidí, spíš méně. Pokud jste něco při psaní písemky nedokázali, vaše gramatika negeneruje to, co má, nebo jste chybně formulovali tvrzení a následně dokazovali něco jiného, budete mít druhou šanci. O testu se, ani co jsem viděl u ostatních, nebavil. Ukázal mi ho až na požádání.