no easy to bolo
je 10 skupin dokopy taze asi nebudete mat to iste ale..
1., 2. pridat nieco do semantiky - ja som mal pre expressions pridat abs(e), a pre bool pridat b1 nand b2
3. vyjadrit semantiku 11100
ta to len nadefinujes ze E[[abs(e)]] = E[[e]] ak E[[e]] > 0 a E[[-e]] ak <0
4 daco s volnymi premennymi (FV) ale to som ani nevedel co je..
jak znelo zadanie>
potom jeden program asi taky ze P=if x<5 then x:= x+2 else x:=x*2; y:=x+1
zadanie znelo ze najdite volne premenne pre vyraz e*e
no a ktomu programu trebalo spravit 5. naturalnu, 6. operacnu 7. strom
ale tak hovoril ze nebude hodnotit ci velmi prisne