structure ARRAY(value, index)declar

structure ARRAY(value, index)
declare CREATE( ) array
RETRIEVE(array,index) value
STORE(array,index,value) array;
for all A array, i,j index, x value let
RETRIEVE(CREATE,i) :: = error
RETRIEVE(STORE(A,i,x),j) :: =
if EQUAL(i,j) then x else RETRIEVE(A,j)

ผลลัพธ์ (ไทย) 1:

โครงสร้างแถวลำดับ (ค่า ดัชนี)ประกาศสร้างอาร์เรย์()ค่า RETRIEVE(array,index)อาร์เรย์ STORE(array,index,value)สำหรับอาร์เรย์เป็นทั้งหมด ฉัน ดัชนี j, x ค่าให้RETRIEVE(CREATE,i):: ข้อผิดพลาด =RETRIEVE(STORE(A,i,x),j):: =ถ้า EQUAL(i,j) แล้ว x RETRIEVE(A,j) อื่น

ผลลัพธ์ (ไทย) 2:

ARRAY โครงสร้าง (ค่าดัชนี)
ประกาศสร้าง () อาร์เรย์
RETRIEVE (array ดัชนี) มูลค่า
STORE (array ดัชนีค่า) อาร์เรย์;
สำหรับทุกอาร์เรย์, I, J ดัชนีค่า x ให้
RETRIEVE (CREATE, i) :: = ข้อผิดพลาด
RETRIEVE (ร้านค้า (, i, x), เจ) :: =
ถ้าเท่ากัน (I, J) แล้ว x อื่น RETRIEVE (เจ)

ผลลัพธ์ (ไทย) 3:

อาร์เรย์โครงสร้างดัชนีค่า )

( ) ประกาศสร้างอาร์เรย์ดึงดัชนีอาร์เรย์ ) เก็บค่า
( เรย์ , ดัชนี , ค่า ) เรย์ ;
สำหรับอาร์เรย์ , ฉัน , J ) x ค่าให้
ดึง ( สร้าง ) : : =
ดึงข้อผิดพลาด ( ร้าน ( A ฉัน , X ) J ) : : =
ถ้าเท่ากัน ( I , J ) X ( J ) อีก เรียก