Experimental evaluation of algorithms on translating from regular expressions into NFAs
Experimental evaluation of algorithms on translating from regular expressions into NFAs
复制标题
将正则表达式转换为 NFA 的算法的实验评估
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
H.Yamamoto
中科院分区：
文献类型：
--
作者：
D.Takenouchi;H.Yamamoto
登录
查看更多内容
具有大字母的非确定性自动机的最小化
DOI：
10.1007/11605157_3
发表时间：
2005
期刊：
--
影响因子：
--
作者：
P. Abdulla;J. Deneux;Lisa Kaati;Marcus Nilsson
通讯作者：
Marcus Nilsson
从正则表达式到有限自动机
DOI：
10.1080/00207169908804865
发表时间：
1999
期刊：
Int. J. Comput. Math.
影响因子：
--
作者：
Jean;J. Ponty;D. Ziadi
通讯作者：
D. Ziadi
用于硬件仿真的基于自动机的高效断言检查器综合 SERE
DOI：
10.1109/aspdac.2007.358006
发表时间：
2007
期刊：
2007 Asia and South Pacific Design Automation Conference
影响因子：
--
作者：
M. Boule;Z. Zilic
通讯作者：
Z. Zilic
PSL的符号编译
DOI：
10.1109/tcad.2008.2003303
发表时间：
2008
影响因子：
2.9
作者：
A. Cimatti;Marco Roveri;S. Tonetta
通讯作者：
S. Tonetta
SystemVerilog 断言实用指南
影响因子：
--
作者：
Srikanth Vijayaraghavan;M. Ramanathan
通讯作者：
M. Ramanathan