The operations MoveRight and MoveLe

The operations MoveRight and MoveLeft model the player moving the block one position right or left respectively. This is done by simply incrementing or decrementing the variable x position. Similarly, the operation MoveDown mod- els the computer moving the block down one row by decrementing y position. These operations will only be enabled when their postconditions satisfy the state schema’s predicate. That is, they will only be enabled when, after the operation, the occupied positions of the block remain within the playing screen.
The operation Rotate specifies that occupied is changed but not how it is changed. This will vary depending on the type of block. The full definition of the operation is deferred, therefore, until Block is inherited to specify a particular type of block. Again it is only enabled if, after the operation, the block remains within the playing screen.
The operation BeAddedToScreen does not change the state of Block — the absence of a -list is equivalent to the empty -list — but simply outputs the screen positions corresponding to the occupied positions of the block. That is, it outputs the occupied positions of the block offset by x position and y position.
The first type of block we specify is the square block shown in Figure 1.7.

Kết quả (Việt) 1:

Hoạt động MoveRight và MoveLeft mô hình cầu thủ di chuyển các khối một vị trí bên phải hoặc bên trái tương ứng. Điều này được thực hiện bởi chỉ đơn giản là incrementing hoặc decrementing vị trí biến x. Tương tự, các hoạt động MoveDown mod-els tính di chuyển khối xuống hàng bởi decrementing y vị trí. Các hoạt động này sẽ chỉ có hiệu lực khi đáp ứng postconditions của vị ngữ giản đồ nhà nước. Có nghĩa là, họ sẽ chỉ có hiệu lực khi sau khi hoạt động, các vị trí chiếm đóng của khối vẫn còn trong màn chơi.Các hoạt động xoay chỉ định chiếm được thay đổi, nhưng không phải làm thế nào nó đã thay đổi. Điều này sẽ thay đổi tùy thuộc vào loại hình khối. Định nghĩa đầy đủ của các hoạt động được trả chậm, do đó, cho đến khi khối được thừa kế để xác định một loại hình cụ thể của khối. Một lần nữa nó chỉ được kích hoạt nếu, sau khi hoạt động, các khối còn lại trong màn hình chơi.Chiến dịch BeAddedToScreen không thay đổi trạng thái của khối — sự vắng mặt của một danh sách  là tương đương với  danh sách trống rỗng- nhưng chỉ đơn giản là kết quả đầu ra màn hình các vị trí tương ứng với các vị trí chiếm đóng của khối. Có nghĩa là, nó xuất ra các vị trí chiếm đóng của khối bù đắp bởi x vị trí và vị trí y.Các loại đầu tiên của khối chúng tôi xác định được khối vuông hiển thị ở hình 1.7.

Kết quả (Việt) 2:

Các hoạt động và mô hình moveright MoveLeft người chơi di chuyển các khối một vị trí bên phải hoặc bên trái tương ứng. Điều này được thực hiện bằng cách tăng hoặc giảm vị trí x biến. Tương tự như vậy, các hoạt động MoveDown vào mô hình ELS máy tính di chuyển các khối xuống một hàng bằng cách giảm các vị trí y. Các hoạt động này sẽ chỉ được kích hoạt khi postconditions của họ đáp ứng vị ngữ giản đồ của nhà nước. Đó là, họ sẽ chỉ được kích hoạt khi, sau khi hoạt động, các vị trí chiếm đóng của khối vẫn còn trong màn chơi.
Các hoạt động Rotate định rằng chiếm được thay đổi nhưng không làm thế nào nó được thay đổi. Điều này sẽ thay đổi tùy thuộc vào loại khối. Các định nghĩa đầy đủ của hoạt động này được hoãn lại, do đó, cho đến khi khối này được di truyền để xác định một loại hình cụ thể của khối. Một lần nữa nó chỉ được kích hoạt nếu, sau khi hoạt động, các khối còn lại trong màn chơi.
Các BeAddedToScreen hoạt động không thay đổi trạng thái của Block - sự vắng mặt của một  danh sách tương đương với sản phẩm nào -list - nhưng chỉ đơn giản là kết quả đầu ra vị trí màn hình tương ứng với các vị trí chiếm đóng của khối. Đó là, kết quả đầu ra các vị trí chiếm đóng của khối bù đắp bởi x vị trí và vị trí y.
Các loại đầu tiên của khối chúng tôi xác định là khối vuông thể hiện trong hình 1.7.