Fórum studentů MFF UK

Koukám že nemám moc velký paměťový rozsah co do definice L_u :). Ne L_u (tj. kde by se vyžadovalo, že TS jím kódovaný musí slovo přijímat), ale jazyky kódující TS lhostejno zda přijmou. Takže stačilo udělat konečný automat, který zvalidoval, že to je ve formátu co jsme měli na přednášce.

Já dostal zařadit L_u a potom Myhill-Nerodovu větu. Nejspíš jsem tak sklidil ty jednodušší.

[latex]L = \{ucv| u,v \in \{a,b\}^* \& u
e v \}[/latex] a definice rekurzivních jazyků, pokud existuje jazyk, který není rekurzivní a důkaz, že není rekurzivní. (třeba [latex]L_u[/latex])

Já jsem dostal [latex]L = \{ a^ib^jc^k | i = j = k \}[/latex] a pumping lemma pro regulární jazyky.

Kolega dostal [latex]L = \{ a^p | p \text{ je prvo\v{c}\'{i}slo} \}[/latex] a důkaz že lineárně omezené turingovy stroje přijímají právě kontextové jazyky.

Na začátku byla jedna otázka na zařazení jazyka co nejpřesněji do chomského hierarchie (určitě bylo víc verzí, nejspíš měl každý svůj jazyk). Potom byl jeden důkaz z přednášky. Kolik na to bylo času to nevím, ale probíhalo to tak, že kdo měl zařazenej ten jazyk tak mu to šel ukázat a dostal druhou otázku.

Já dostal [latex]L = \{$kod(T)$ | L(T) = \varnothing$ nad abecedou $\{0,1\}\}[/latex] a Kleeneho větu.