 |
| |||
| nondeterministic loop (цикл, число итераций которого неизвестно до того, как начнется выполнение цикла, или цикл, число итераций которого определяется или изменяется внутри цикла по ходу выполнения ssn) | |||
| |||
| nondeterministic loops (ssn) | |||
|
| |||
| nondeterministic loop (цикл, число итераций которого неизвестно до того, как начнется выполнение цикла, или цикл, число итераций которого определяется или изменяется внутри цикла по ходу выполнения ssn) | |||
| |||
| nondeterministic loops (ssn) | |||