Nejake otazocky zo skusky na precvicenie dami a pani:
TI2I.6 : Turingovsky-vypocitatelne funkcie. Definicia a ilustracia na priklade.
TI2II.6 : Algebra logiky a problem funkcionalnej uplnosti. Algebra boolovskych funkcii (BF) a problem funkcionalnej uplnosti systemov BF.
X.I.11 : Ukazte, ze jazky L zatvorkovych vyrazov je deterministicky bezkontextovy jazyk. Zatvorkove vyrazy (ZV) su definovane nasledovne:
- lambda, [] su ZV
- ak alfa,beta su ZV, potom aj alfabeta, [alfa] su ZV
X.II.12 : Prevedte do algebry Janova:
{ [d(Y0,k)] ([l>r|Y0] transp([l,r|Y0]), OUT("ok")) * P(Y0) } * UST(Y0)
... nedakujte, ale dopiste aj tie vase zo skusky