×

有限状态机区域的下限。 (英文) Zbl 0664.68039号

有一些简单的算法可以用来设计有限状态机。本文表明,对于具有固定字母的机器,这些算法在最坏情况下是最优的。也就是说,对于任何s和k,都有一个具有s状态和k符号的确定有限状态机,因此任何布局算法都需要(Omega)(ks-logs)区域来布局其实现。类似地,对于具有s状态和k符号的非确定性有限状态机,任何布局算法在最坏情况下都需要(Omega(ks^2))区域。

MSC公司:

65年第68季度 算法和问题复杂性分析
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 布伦特,R.P。;Goldschlager,L.M.,《超大规模集成电路的区域时间权衡》(Microelectronics’82(1982年5月),工程师学会:澳大利亚工程师学会),52-56
[2] 布伦特,R.P。;Kung,H.T.,关于二叉树布局,Inform。过程。莱特。,11, 46-48 (1980)
[3] Devidas,S.公司。;马,H。;牛顿,A.R。;Sangiovani-Vincentelli,A.,Mustang:优化多级逻辑实现的有限状态机的状态分配,(ICCAD 87(1987),IEEE),16-19
[4] 弗洛伊德·R·W。;Ullman,J.D.,将正则表达式编译成集成电路,美国计算机学会,29603-622(1982)·Zbl 0485.68047号
[5] Foster,M.J.,《语言识别专用硅编译器和可编程芯片》(Einspruch,N.G.,VLSI Design(1986),学术出版社:佛罗里达州奥兰多学术出版社),139-196
[6] O.Sykora。;Vrto,I.,字符串匹配的紧密芯片区域下限,Inform。过程。莱特。,26, 117-119 (1987) ·Zbl 0654.68039号
[7] 汤普森,C.D.,《超大规模集成电路的复杂性理论》(卡内基梅隆大学博士论文(1980))
[8] Trickey,H.W.,《模式识别器的良好布局》,IEEE Trans。计算。,C-31,514-520(1982)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。