Function first : Element; assert ¬is

Function first : Element; assert ¬isEmpty; return b[h]
Function size : ✆; return (t − h + n + 1) mod (n + 1)
Procedure pushBack(x : Element)
assert size< n
b[t] :=x
t :=(t + 1) mod (n + 1)
Procedure popFront assert ¬isEmpty; h :=(h + 1) mod (n + 1)

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

Chức năng chính: nguyên tố; khẳng định ¬isEmpty; trở về b [h]
hoạt động kích thước: ✆; trở lại (t − h n 1) mod (n 1)
thủ tục pushBack(x: Element)
khẳng định kích thước < n
b [t]: = x
t: = (t 1) mod (n 1)
thủ tục popFront khẳng định ¬isEmpty; h: = (h 1) mod (n 1)

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

Chức năng đầu tiên: phần tử; khẳng định ¬ isEmpty; trở lại b [h]
Chức năng kích thước: ✆; trở lại (t - h + n + 1) mod (n + 1)
Thủ tục Pushback (x: Element)
khẳng định kích thước <n
b [t]: = x
t = (t + 1) mod (n + 1)
Thủ tục popFront khẳng định ¬ isEmpty; h: = (h + 1) mod (n + 1)