The state is defined as an ordered 4-tuple, consisting of the current number being entered, the last number (to be operated on) and the pending operation:
Các trạng thái được định nghĩa là một lệnh 4-tuple, bao gồm số lượng hiện tại được nhập vào, số cuối cùng (để được vận hành trên) và các hoạt động cấp phát: