登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A257291型 接受前n个素数的base-2表示的最小DFA中的状态数。 2
4, 4, 5, 5, 6, 8, 9, 9, 10, 11, 11, 12, 13, 13, 14, 16, 17, 17, 19, 20, 21, 21, 21, 22, 23, 23, 24, 24, 24, 25, 26, 27, 28, 28, 29, 29, 31, 32, 33, 35, 36, 36, 37, 38, 38, 38, 39, 40, 41, 40, 41, 41, 42, 43, 44, 44, 44, 45, 46, 46, 47, 47, 48, 48, 49, 49, 49, 51, 52, 52, 54, 55, 55, 56, 56, 57, 58, 58 (列表;图表;参考;;历史;文本;内部格式)
抵消
1,1
评论
所谓“DFA”,我们指的是确定性有限自动机,它必须是“完整的”(也就是说,每个状态都必须存在转换)。因此,n=1的最小DFA对应于接受字符串“10”而不接受其他字符串的DFA。由于还需要“死状态”,因此需要四种状态。
链接
例子
发件人凯文·莱德,2020年6月2日:(开始)
对于n=3,最小DFA包括(3)=5个状态:
+------------------------+
开始1|v
+-----------+ 1 +--------+ 0 +=====+ 1 +=====+
|10,11101|--->|0,1,01|--->| e,1|--->|e|
+-----------++---------++=====++=====+
| 0 | 0 | 0,1
||v(v)
| | +------+
+-------------------------------+------>|死亡|
+------+
^ | 0,1
+-+
每个状态都是一组需要的位字符串。开始状态是二进制中的素数2,3,5。每个“1”转换都取从1开始的字符串并删除该1。每个0转换都类似。“e”是空字符串。每个包含“e”的状态都是可接受的,因为它是原始素数之一的末尾。“死”是一组没有字符串的集合,是不可接受的接收器。输入字符串太长或不是所需素数之一的前缀,结果是死的。
(结束)
黄体脂酮素
(PARI)a(n)={
my(m=Map(),q=List([apply(p->Vecsmall(binary(p)),primes(n))]);
while(#q,我的(s=q[#q]);列表弹出(q);
如果(!mapisdefined(m,s),则mapput(m,s,1);
对于(i=0,1,listput(q,apply(v->v[^1],
select(v->#v&&v[1]=i,s)))));
#m、 }\\凯文·莱德2020年6月2日
(Python)
从sympy导入prime,primerange
定义a(n):
m=dict()
q=[素数范围(1,素数(n)+1)中p的元组(bin(p)[2:])]
当len(q)>0时:
s=q.pop()
如果s不以m为单位:
米[s]=1
对于“01”中的i:
q.append(如果len(v)和v[0]==i,则s中v的元组(v[1:])
返回长度(m)
打印([a(n)代表范围(1,80)中的n])#迈克尔·布拉尼基2022年7月4日之后凯文·莱德
交叉参考
囊性纤维变性。A257371型.
关键词
非n
作者
杰弗里·沙利特2015年4月21日
扩展
a(26)-a(78)来自凯文·莱德2020年6月2日
状态
经核准的

查找|欢迎|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年4月16日19:05。包含371751个序列。(在oeis4上运行。)