Consider the "repeat-until'' and the "do" loops, where "repeat {B} until (C)" keeps on executing the loop-body B until C becomes True, and "do (n) {B} repeats the loop-body B rt times.
a) Draw the CFGs for these loops or for related sample programs, and design your
b) Are they deterministic or non-deterministic loops?
c) Can you use "while" or "for" loops to implement them or vice versa? If yes, show your implementation. If no, state why not.