tak tahala som tri veci, jeden dokaz (NS - OS, while + postupnost prikazov), co som rozpisala na dve strany, dalej priklad (definovat semantiku + syntax osmickovych cisel) a jednu teoreticku (posledna prednaska nejake bludy)... napises, pride k tebe, vysvetlis mu a mas znamku
na tahaku su vsetky pravidla az po abstraktny syntakticky stroj a denotacne semantiky obidve, takze v pohode.. tusim aj tie funkcionaly su tam definovane k tym pravidlam..
akcna semantika v tahaku nie je..
kto chce vidiet tahak, mam info ze si ho moze prist prezriet k novitzkej alebo slodicakovi, ale na web ho dat nemozu