Fórum studentů MFF UK

Známkovací systém pána profesora je naozaj zvláštny. Podľa toho čo som zažil a hovorili ostatní, sa mi podarilo zostrojiť túto približnú aproximáciu závislosti doby prípravy na skúšku, známky a započítal som aj postavenie Venuše voči Androméde:

\left\{a^ib^j\:|\: 1\le i\le j \right\} (nedá sa regulárne pumpovať, existuje bezkontextová gramatika) Kontextové jazyky a lineárne obmedzené Turingove stroje. Odporúčania na skúšku: Cvičenie je najlepšie mať u Surynka, pretože robí tie úlohy na zaradenie do Chomského hierarchie (rovnaké alebo podo...

a definice rekurzivních jazyků, pokud existuje jazyk, který není rekurzivní a důkaz, že není rekurzivní. (třeba )