Kto z vas uz videl ten oficialny tahak:
Su tam aj prekladove rovnice a semantika instrukcii abstraktneho stroja?
Teda tie veci, ktore potrebujem pri tom dokaze...
Tak som si to pozrel "live", a mozem potvrdit, ze pre abstraktne stroje su v tahaku okrem instrukcii aj prekladove funkcie (preklad aritmetickych a boolovskych vyrazov), takze sa ich netreba ucit
A co sa tyka prikladov, netreba sa zlaknut, ked dostanete nejaky "exoticky" priklad - staci nieco napisat na papier podla pravidiel, aby tam nieco bolo, a u pani Novitzkej staci skutocne len povedat, ze ako sa to ma robit, na co davat pozor,... (napr. dynamicka naturalna semantika: pri blokoch ze sa pri opusteni bloku maju aktualizovat premenne, inac rovnake, ako klassicka naturalna semantika...).
Narovinu mi povedala, ze priklad nechce vidiet, len jej mam porozpravat o tom, ako som to robil...
GL kazdemu, kto este nebol..