| English | Russian |
| conveyor belt that moves from left to right | движущаяся слева направо лента транспортёра (ssn) |
| left end of the belt | левый конец транспортёра (ssn) |
| moving belt | движущаяся лента (транспортёра ssn) |
| Next, it picks the box up, turns right and puts the box on the moving belt | Далее он поднимает ящик, поворачивается направо и ставит ящик на движущуюся ленту (о роботе ssn) |
| right end of the belt | правый конец транспортёра (ssn) |
| the first robot takes a box from the station and deposits it on the left end of the belt | Первый робот снимает ящик с устройства и размещает его на левом конце транспортёра |
| the plant consists of a conveyor belt that moves from left to right, a processing station, and two robots that move boxes between the station and the belt as shown in Figure 17.2 | этот агрегат состоит из движущейся слева направо ленты транспортёра, обрабатывающего устройства и двух роботов, которые перемещают ящики между этим устройством и лентой транспортёра, как изображено на рис. 17.2 (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| the second robot gets a box from the right end of the belt and transfers it to the station where boxes are processed | Второй робот снимает ящик с правого конца транспортёра и переносит его на устройство, где ящики обрабатываются |
