Изменения

* '''TAIL'''(''A'',''i'') принимает на вход массив ''A'' = ["a"₀,...,an−1] и производный int, возвращает массив [''amax(''i'',0)'' ,...,''a''n−1]. Если ''i'' ≥ ''n'', результатом будет [].

* '''B''' - структура, то ''seq (''B'')'' обозначает строку, которая представлена ''B''.

Основываясь на вышеприведенных операциях, ADT может быть расширен следующими операциями:

* [''x''0,..., ''x''n−1] является сокращением для '''CONCATENATE'''([x0],'''CONCATENATE'''([x1],'''CONCATENATE'''(...,'''CONCATENATE'''([''x''n−2],[''x''n−1])))) . Обратите внимание, что в программе оценка этого выражения всегда включает ''n-2'' конкатенации.

* '''REVERSE'''[''A''] принимает на вход массив A = [''a''0,...,''a''_n-1] и возвращает [''a''_n-1,...,a0].