登录
A290741型
单词“2”在注释中定义的字母{1,2}上的三移位标记系统下的轨道。
4
2, 21222, 221221222, 2212221221222, 22212212221221222, 122122212212221221222, 1222122122212212222112, 21221222122122221122112, 212221221222211221121221222, 2212212222112211212212221221222, 22122221122112122122212212221221222, 222211221121221222122122212212221221222
抵消
1,1
评论
此标记系统将单词w over{1,2}映射到w',其中,如果w以1开头,则通过将2112附加到w并删除前三个字母来获得w';如果w以2开头,则将1221222附加到w并删除前3个字母来获取w'。
这是[De Mol,p.307](参见。293945英镑).
链接
Michael S.Branicky,n=1..328时的n,a(n)表
Liesbeth De Mol,追踪不可解决性。历史、数学和哲学分析,特别关注标签系统,博士论文,Gent大学。参见第307页。
MAPLE公司
使用(StringTools);
f1:=进程(w)局部L,t2,t1,ws,w2;
t1:=“2112”;t2:=“1221222”;ws:=转换(w,字符串);
如果ws[1]=“1”,则w2:=联接([ws,t1],“”);否则w2:=连接([ws,t2],“”);fi;
五十: =长度(w2);如果L<=3,则返回(-1);fi;
w2[4..L];结束;
#并对“2”重复应用f1
黄体脂酮素
(Python)
从itertools导入islice
定义代理(w=“2”):
为True时:
产量int(w)
w+=(如果w[0]==“1”其他“1221222”,则为“2112”)
w=w[3:]
打印(列表(islice(agen(),12))#迈克尔·布拉尼基2022年3月15日
关键词
非n
作者
N.J.A.斯隆2017年8月11日
扩展
定义修正人N.J.A.斯隆,2017年10月23日(这不是De Mol的五班制标签系统,如A293945型).
状态
经核准的