ϵ">]>
Literature.
[1] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
[CL] Remark. The module Msyntax in the file msyntax.cl contains the syntax of the system CL.
Chapter. Programs Operating on Trees.
Section. Braun Trees. See also the section Perfectly Balanced Binary Trees in [1].
Braun trees.
We have
Indexing in Braun trees.
Modification of Braun trees. Define the function t [i≔x] such that
New Braun tree. Define the function New (n) such that
Filling a Braun tree. Define the function Fill (n,x) such that
Insertion of a new first label. Define the function Insfirst (t,x) such that
Deletion of the first label. Define the function Delfirst (t) such that
Insertion of a new last label. Define the function Inslast (n,t,x) such that
Deletion of the last label. Define the function Dellast (n,t) such that
Quick computation of the size for Braun trees.
Converting lists into Braun trees. Define the function Ln2brt (x) such that
Converting Braun trees into lists. Define the function Brt2ln (t) such that