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

 

标志
提示
(来自的问候整数序列在线百科全书!)
A129403号 正则表达式c_1的无e非确定性有限自动机(NFA)中的最小边数?c2?。。。c_n?。 1
1、3、6、9、13、18、23、28、33、39、46、53 (列表图表参考历史文本内部格式)
抵消
1,2
评论
此外,n+1节点上具有整数标记边的dag中的最小边数,使得每个1,2,。。。,n匹配从dag根开始的路径上的边标签,反之亦然。数据库中的最大不同边数为A000292号(n) 。Hromkovic等人显示了Theta的下限(n log n)和O的上限(n log^2 n)。Lifshits改善了Theta的下限(n log ^2 n/log log n)。
Schnitger改进了长度为n的正则表达式相对于大小为k的字母表的Theta(n log ^2 k)的下限,因此A129403号(n) 为渐近O(n log ^2 n)。
el Abdalaoui等人的方法为已知a(n)的大小生成最小NFA;该方法还意味着a(13)<=60,a(14)<=67。目前尚不清楚该方法是否总是产生最小的NFA。
序列数据来自彻底搜索。n=1,2,4,5,9的NFA是唯一的;对于n=3,6,7,8,它们不是。a(8)-a(9)于2013年3月5日添加。a(10)-a(12)于2014年10月5日添加。
链接
Russ-Cox,n=1..7的最小NFA图。PDF格式 巴布亚新几内亚
拉斯·考克斯,C程序
侯赛因·阿卜杜拉维、穆罕默德·达穆内和杰卢尔·齐亚迪,关于有限自动机的转移约简问题,arXiv:1301.3751[cs.FL],2013年。
J.Hromkovic、S.Siebert和Th.Wilke,将正则表达式转换为小型无e不确定性有限自动机《计算机与系统科学杂志》62(4)(2001)565-588。
Y.Lifshits公司,对应于正则表达式的e-free NFA大小的下界《信息处理快报》85(2003)293-299。
G.Schnitger,正则表达式和不带e-Transition的NFA,STACS 2006,432-443。
黄体脂酮素
C程序:请参阅链接。
交叉参考
关键词
坚硬的,更多,非n
作者
俄罗斯考克斯2007年4月13日
状态
经核准的

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

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

上次修改时间:2024年4月19日17:51 EDT。包含371797个序列。(在oeis4上运行。)