riesim priklad AD->AJ z TI-skuska(minulorocne otazky.doc)....konkretne tento :
{ [d(Y0,k)] ([l>r|Y0] transp([l,r|Y0]), OUT("ok")) * P(Y0) } * UST(Y0)
no ked sa nato pozriem tak by som povedal ze to cele je ako jeden krok, a pouzijem {[ u ]A},
cize po prevode som dostal nasledovne:
m1:π(d(Yo,k)↓m1'[l>r|Yo]transp([l,r|Yo]),out("ok")*P(Yo)*π↓m1*m1':E*ust(Yo)
vie mi to niekto potvrdit ci to mam dobre, alebo vyvratit...dakujem