в начале i=in=high=low=0, done=FALSE, input="PI=3.14159, approximately";
| while ((c=NEXT(i))!=EOS && !done) { | Переменная c последовательно принимает значения символов из input. |
| if ('P' | ЛОЖЬ |
| else if ('P'>9) | ИСТИНА |
| done=(++high==ENUF) | Переменная high после увеличения не равна ENUF, так что переменной done присваивается значение ЛОЖЬ, high =1 |
| while('I'!=EOS&&!done) | ИСТИНА |
| if ('I' | ЛОЖЬ |
| else if ('P'>9) | ИСТИНА |
| done=(++high==ENUF) | high=2, done=ЛОЖЬ |
| while('I'!=EOS&&!done) | ИСТИНА |
| if ('=' | ЛОЖЬ |
| else if ('='>9) | ИСТИНА |
| done=(++high==ENUF) | high=3, done=ИСТИНА |
| while('I'!=EOS&&!done) | done=ИСТИНА, так что !done=ЛОЖЬ, и цикл завершается. |