Matfyz Wiki
Tak vypadalo to dost podobne jako pred tydnem ... akorat pry naposledy to nedopadlo az tak skvele, tak jsem zvedavy jak moc rigorozne je vsechno potreba vypsat :?
Otazky se dost krejou :shock: ...
Z otazek co tu jeste nejsou si vzpominam snad jen na dukaz ze gramatika
zadana nekolika pravidly, ktery si uz nepamatuju, je kontextova.
Pravidla byly bezkontextovy, takze prevod na nevypoustejici BKG a pridani spec. pravidla pro \lambda.