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 a Kleeneho větu.
Surynek 26. 05. 2015
-
- Matfyz(ák|ačka) level I
- Příspěvky: 27
- Registrován: 3. 2. 2014 13:40
- Typ studia: Informatika Ph.D.
Re: Surynek 26. 05. 2015
Já jsem dostal a pumping lemma pro regulární jazyky.
Kolega dostal a důkaz že lineárně omezené turingovy stroje přijímají právě kontextové jazyky.
Kolega dostal a důkaz že lineárně omezené turingovy stroje přijímají právě kontextové jazyky.
Naposledy upravil(a) Katami dne 27. 5. 2015 07:43, celkem upraveno 1 x.
-
- Matfyz(ák|ačka) level I
- Příspěvky: 3
- Registrován: 26. 5. 2015 14:18
- Typ studia: Informatika Bc.
Re: Surynek 26. 05. 2015
a definice rekurzivních jazyků, pokud existuje jazyk, který není rekurzivní a důkaz, že není rekurzivní. (třeba )
Re: Surynek 26. 05. 2015
Já dostal zařadit L_u a potom Myhill-Nerodovu větu. Nejspíš jsem tak sklidil ty jednodušší.
Re: Surynek 26. 05. 2015
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.