Изменения

Мы называем структуру данных (как реализацию абстрактного типа данных англ.ATD) полностью персистентной, если она эффективно реализует все операции предполагаемого, полностью персистентного ADT.}}

===Интерфейс===

* [X] статический конструктор, который принимает элемент X и возвращает массив, который содержит X в качестве его единственного элемента.

* '''LENGTH''' [A] возвращает длину массива A.

* '''LEFTPART'''(A): возвращает (non-deterministically) массив, представляющий последовательность префикса A.

* ''' RIGHTPART'''(A): возвращает (non-deterministically) массив, представляющий последовательность суффикса A.

===Реализация персистентных массивом в виде сбалансированных деревьев===