iteracje wewnętrzne zewnętrzne

Question

Witam,
Mam problem ze zrozumieniem różnicy pomiędzy iteracjami wewnętrznymi a zewnętrznymi w postaci pseudokodu typu "jeśli Q wykonuj A" gdzie Q jest warunkiem a czynność A jest w postaci "dopóki Q wykonuj B".

Answer 1

Relacja przechodnia :  Q= > A  GDZIE A <==> Q==> B daje nam nawet pominięcie więc generalnie zależność jest od Q, czyli wykonywanie B, ma trwać tak długo jak zewnętrzne Q, bez znaczenia. 
to można zapisać w postaci Q => B po prost przy warunku żę Q => A oraz B, bo oba maja się wykonywać wewnętrznie tak długo jak Q   ( Q= > A  /\  B  ) - też zapoznaj się z kwantyfiaktorem oznaczającym koniunkcje "/\"  czy implikacje => albo równoważność <==> 
Tylko że Q to warunek, natomiast A to pewnie czynność, więc nie zmienia to faktu żę czynność A ma się wykonywać wewnętrznie też