| English | Russian |
| if all the above conditions are met | если удовлетворены все вышеизложенные условия (ssn) |
| if all the above conditions are met except that a thread at the same priority is ready to run, then this thread will give up CPU after its timeslice expires, and the other thread will be given a chance to run | если удовлетворены все вышеизложенные условия, за исключением того, что становится готов к работе другой поток с таким же самым приоритетом, то предыдущий поток освободит процессор после того, как истечёт выделенный ему квант времени – таким образом, другой поток будет иметь шанс на обслуживание (см. "Getting Started with QNX Neutrino 2. A Guide for Realtime Programmers" by Rob Krten 1996 ssn) |
| if all the above conditions are met except that a thread at the same priority is ready to run, then this thread will give up CPU after its timeslice expires, and the other thread will be given a chance to run | если удовлетворены все вышеизложенные условия, за исключением того, что становится готов к работе другой поток с таким же самым приоритетом, то предыдущий поток освободит процессор после того, как истечёт выделенный ему квант времени таким образом, другой поток будет иметь шанс на обслуживание (см. "Getting Started with QNX Neutrino 2. A Guide for Realtime Programmers" by Rob Krten 1996 ssn) |
| output states as functions of all possible input conditions | выходные состояния как функции всех возможных входных условий (ssn) |
| space of all initial conditions | пространство всех исходных состояний (ssn) |
