%I#2012年3月31日6日13:21:12

%S 0,1,2,3,4,6,5,8,7,9,10,14,16,19,11,15,12,22,13,20,17,18,23,24,25，

%第26、27、37、38、42、44、47、51、53、56、60、28、29、39、43、52、30、40、31、58、59、32、62页，

%U 63,64,33,41,34,57,61,35,54,45,46,36,55,48,49,50,65,66,67,68,69,70,71

%非负整数的对合：非递归加泰罗尼亚自同构的签名置换，表A089840第253行。

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

%C。。。B……C…………..A……..C

%C…../…………..//

%C、。A…x…..-->。。。。。B...x………….x..（）……-->。。。。x..（）

%C..\./………….\.//

%C。。。x.…（A072796）。。。。x…………..x……..（A089854）。。。x个

%C（a.（b.C））-->（b.（a.C））/（a.b）。（））-->（（b.a）。())

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

%H A.Karttunne，《序言》（Prolog-program），解释了这个和其他类似的非递归加泰罗尼亚自同构的构造</a>

%H<a href=“/index/Per#IntegerPermutationCatAuto”>加泰罗尼亚自同构的签名置换索引条目</a>

%o（Scheme函数，作用于S表达式的此自同构的破坏性实现：）（define（*A123503！S）（cond（（null？S）S）（（pair？（cdr S））（*A072796！S））

%A089840的Y行253。用于构造A123717和A123718。

%K nonn公司

%0、3

%安蒂·卡通纳，2006年10月11日