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...

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 test cases to test these CFGs.

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.