0,3

这个自同构要么交换（如果A057515号（n） >1）前两个顶层元素（一般平面树的，如*A072796号（如果n>1，A057515号（n） =1）交换S表达式左侧子树的边（当作为二叉树查看时，如*A089854号确实如此）。如下所示，其中字母A、B和C表示位于这些节点上的任意子树，（）表示隐含的终端节点。

……B……C………….A………..C……..A……..B……..B.A

....\./...............\./..............\./.............\./

.A.…x…..-->…..B.…x………….x.（）……-->….x..（）

..\./...............\./..................\./.............\./

…x(A072796号)....x…………..x(A089854号)...x个

（a.（b.c））-->（b.（a.c））/（a.b）。（））-->（（b.a）。())

这是表中的第一个多子句自同构A089840号它不能表示为两个较小的非递归自同构的组合，该属性也由*A123499型和*A123500个.

n，a（n）的表，n=0..71。

A.卡图恩，Prolog-program，它说明了这个和其他类似的非递归加泰罗尼亚自同构的构造。

加泰罗尼亚语自同构的符号置换索引条目

（Scheme函数，作用于S表达式的自同构的破坏性实现：）（定义(*A123503型! s） （cond（（null？s）s）（（pair？（cdr）s））(*A072796号! s） ）（其他(*A089854号! s） ）秒）

第253行，共行A089840号.用于构造A123717号和A123718号.

上下文中的序列：A256988型 A104650号 A083179号*A123717号 A123718号 A335430型

相邻序列：A123500个 A123501型 A123502型*A123504号 A123505型 A123506型

非n

安蒂·卡图恩2006年10月11日

经核准的