to su len typy otazok......azda necakas ze ti da automat a[b|c]
a viete niekto ako je to s tymi jump a falsejump, neviem to najst v kollarovych materialoch
While_Stat -> while "(" Expr ")" "{" Stat_Seq "}"
ma byt
label<1>
Expr[[Expr]] falsejump(2)
Stat_Seq[[Stat_Seq]]
jump(1)
label<2>
?