| Russian | English |
| Далее он поднимает ящик, поворачивается направо и ставит ящик на движущуюся ленту | Next, it picks the box up, turns right and puts the box on the moving belt (о роботе ssn) |
| движущаяся лента | moving belt (транспортёра ssn) |
| движущаяся слева направо лента транспортёра | conveyor belt that moves from left to right (ssn) |
| этот агрегат состоит из движущейся слева направо ленты транспортёра, обрабатывающего устройства и двух роботов, которые перемещают ящики между этим устройством и лентой транспортёра, как изображено на рис. 17.2 | 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 (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
