Messages

a nejake prednasky niekto nechce oskenovat alebo volaco ?

Dnes novy typek co bol sa vola Poruban. Podla toho co som si vsimol to vyzeralo tak, ze opravoval podla sablonky, ktoru mu (zrejme) pripravil Kollar. Otazky:
1. Napisat gramatiku jazyka EBNF pomocou EBNF.
   Upravit dva vyrazy z EBNF na BNF. Islo o to ze pri jednom [daco_neviem_co] trebalo len zrobit ze je to to iste bez zatvoriek alebo prazdny retazec (epsilon),
a druhom ktory bol zas {daco} to prepisat tak aby zmizli tie {}, cize nejaku rekurziu donuka dat.

2. napisat gramatiku EBNF ceckovskeho cyklu do....while, ked B je telo a E je podmienka
   napisat virtualne instrukcie k tomu cyklu

3. Su operacie +,-,* vsetky maju rovnaku prioritu a asociuju sprava a operacia = neasociuje a ma vacsiu prioritu ako ostatne tri. Identifikatory su jedno male pismeno. Treba napisat gramatiku. Potom k vyrazu a+b-c=d*e namalovat syntakticky a derivacny strom a napisat prefixny tvar.
Co reprezentuje syntakticky strom?
-----||------------- derivacny strom?
Ktore z tychto troch  foriem su ekvivalentne?

4. Ako su reprezentovane typove vyrazy?
   Ako je definovana unifikacia a substitucia v parametricky polymorfnom systeme?

Co je to preboha "Gramatika lexikalnych jednotiek"? V skriptach som nic take nenasiel...