Write down (semi-formally) the doit

Write down (semi-formally) the doit function updating the state for each user command and
the display function relating the state (E) to the current display (D).

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

Viết xuống (bán chính thức) có chức năng doit Cập nhật trạng thái cho mỗi người dùng lệnh vàchức năng hiển thị liên quan bang (E) đến màn hình hiện tại (D).

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

Viết xuống (bán chính thức) các chức năng cập nhật số tiền rất ít tiểu bang cho mỗi lệnh người sử dụng và
các chức năng hiển thị liên quan của nhà nước (E) với màn hình hiện tại (D).