|
| |
|
| A289674型 |
| 考虑中描述的Post标签系统A284116号（但适用于字母{1,2}）；sequence列出属于循环的单词。 |
|
10
|
|
|
|
21211, 112212, 21211221211, 112212112212, 221222121111, 1112212221211, 2122212111111, 2221211112212, 12111122122212, 12221222121111, 22121111112212, 122122212221211, 211111122122212, 1111221222122212, 21211221211221211, 21222122212111111, 112212112212112212
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
1,1
|
|
|
评论
|
Post的标记系统将单词w over{1,2}映射到w'，其中，如果w以1开头，则通过在w后面追加11并删除前三个字母来获得w'，如果w是以2开头的，则通过将2212追加到w并删除前3个字母来获取w'。
在这个Post标记系统中，一些单词在迭代时以空单词结尾，其他单词进入循环，其他单词可能具有无限增长的轨迹。请参见A289670型和A289671型用于前两种类型的计数。这个序列给出了属于循环的单词列表。
这是一个重要的悬而未决的问题，以决定是否有任何单词的轨道无限增长。
我们使用的是{1,2}而不是官方字母{0,1}，因为OEIS中禁止使用以0开头的术语（而不是0本身）。
|
|
|
链接
|
渡边茂，Post标记正常过程的周期性Jerome Fox主编，《自动化数学理论研讨会论文集》，纽约，1962年4月，布鲁克林理工学院理工出版社，1963年，第83-99页。[带注释的扫描副本]
|
|
|
例子
|
将Post标记系统应用于字母{1,2}上的单词时，遇到的前两个循环是（21211，112212）和（2122212111111，22121111212，211111122212，11112212221212，1221222121211，122212121111）。
|
|
|
交叉参考
|
|
|
|
关键字
|
非n
|
|
|
作者
|
|
|
|
扩展
|
排序的术语和添加的更多术语柴华湖2017年8月5日
|
|
|
状态
|
经核准的
|
| |
|
|
