pravidlo REPEAT:
S; while b do S
cize
<S,s> -> s,,,<while b do S,s,,> -> s,
________________________________
<repeat S until b,s> -> s,
je to dobre?
S; while b do S
cize
<S,s> -> s,,,<while b do S,s,,> -> s,
________________________________
<repeat S until b,s> -> s,
je to dobre?