12.07.2015 Views

varmap

varmap

varmap

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Mantıksal Önkoşullu döngüler• Durum kümesini durum kümesine eşlerM l(while B do L, s) ∆=if M b(B, s) == undefthen errorelse if M b(B, s) == falsethen selse if M sl(L, s) == errorthen errorelse M l(while B do L, M sl(L, s))Copyright © 2007 Addison-Wesley. All rights reserved. 1-50

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!