期刊文献+
共找到22篇文章
< 1 2 >
每页显示 20 50 100
The Equivalent Conversion between Regular Grammar and Finite Automata
1
作者 Jielan Zhang Zhongsheng Qian 《Journal of Software Engineering and Applications》 2013年第1期33-37,共5页
The equivalence exists between regular grammar and finite automata in accepting languages. Some complicated conversion algorithms have also been in existence. The simplified forms of the algorithms and their proofs ar... The equivalence exists between regular grammar and finite automata in accepting languages. Some complicated conversion algorithms have also been in existence. The simplified forms of the algorithms and their proofs are given. And the construction algorithm 5 of the equivalent conversion from finite automata to left linear grammar is presented as well as its correctness proof. Additionally, a relevant example is expounded. 展开更多
关键词 REGULAR GRAMMAR finite automata NFA dfa
下载PDF
1-Way Multihead Quantum Finite State Automata
2
作者 Debayan Ganguly Kingshuk Chatterjee Kumar Sankar Ray 《Applied Mathematics》 2016年第9期1005-1022,共18页
1-way multihead quantum finite state automata (1QFA(k)) can be thought of modified version of 1-way quantum finite state automata (1QFA) and k-letter quantum finite state automata (k-letter QFA) respectively. It has b... 1-way multihead quantum finite state automata (1QFA(k)) can be thought of modified version of 1-way quantum finite state automata (1QFA) and k-letter quantum finite state automata (k-letter QFA) respectively. It has been shown by Moore and Crutchfield as well as Konadacs and Watrous that 1QFA can’t accept all regular language. In this paper, we show different language recognizing capabilities of our model 1-way multihead QFAs. New results presented in this paper are the following ones: 1) We show that newly introduced 1-way 2-head quantum finite state automaton (1QFA(2)) structure can accept all unary regular languages. 2) A language which can’t be accepted by 1-way deterministic 2-head finite state automaton (1DFA((2)) can be accepted by 1QFA(2) with bounded error. 3) 1QFA(2) is more powerful than 1-way reversible 2-head finite state automaton (1RMFA(2)) with respect to recognition of language. 展开更多
关键词 1-Way Quantum finite State Automaton (1QFA) k-Letter Quantum finite State automata (k-Letter QFA) 1-Way Multihead Quantum finite State Automaton (1QFA(k)) 1-Way Deterministic 2-Head finite State Automaton (1dfa((2)) 1-Way Reversible Multihead finite State Automaton (1RMFA(k))
下载PDF
基于DFA的大规模入侵建模方法研究 被引量:3
3
作者 苏一丹 李桂 《计算机工程与应用》 CSCD 北大核心 2003年第28期197-199,共3页
针对攻击树在大规模入侵建模中对系统状态变化描述的不足,提出了基于DFA的大规模入侵建模方法,并给出了一个基于攻击函数和系统状态二元组的攻击描述语言,最后对入侵检测实现进行了简单讨论。
关键词 确定有限自动机(dfa) 大规模入侵 入侵建模 攻击描述语言
下载PDF
一种新的DFA状态最小化算法 被引量:2
4
作者 范书义 孟晨 王成 《计算机工程与应用》 CSCD 2012年第1期47-48,67,共3页
提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化... 提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化。与传统的DFA状态最小化算法相比,该算法具有较好的时间复杂度和相同的空间复杂度。 展开更多
关键词 确定有穷自动机(dfa) 状态最小化 状态转换矩阵
下载PDF
使用DFA的Web会话构造方法 被引量:1
5
作者 黄金晶 赵雷 杨季文 《计算机工程与应用》 CSCD 北大核心 2009年第8期138-140,共3页
会话识别是Web使用挖掘数据预处理中重要的一个环节。将确定的有限自动机(DFA)思想运用于会话构造,针对一段用户访问日志,通过DFA中各个状态间的转换,实现会话构造。该方法更多考虑页面之间的连续性,关注用户的实际访问序列,有利于后续... 会话识别是Web使用挖掘数据预处理中重要的一个环节。将确定的有限自动机(DFA)思想运用于会话构造,针对一段用户访问日志,通过DFA中各个状态间的转换,实现会话构造。该方法更多考虑页面之间的连续性,关注用户的实际访问序列,有利于后续的用户访问模式的挖掘。 展开更多
关键词 WEB使用挖掘 数据预处理 会话识别 确定的有限自动机(dfa)
下载PDF
一个完善的基于判定链表的DFA最小化算法
6
作者 陈矗 任平红 +1 位作者 禹继国 马炳先 《计算机工程与应用》 CSCD 2013年第6期48-51,共4页
应用判定链表进行DFA最小化方法中只处理无互相依赖等价状态会造成最小化结果不正确。针对此问题,分析了DFA中状态的k次传递等价、含自回路状态的等价以及互相依赖等价等结构特点,将分析结果应用于DFA最小化算法中,提出了一个完善的基... 应用判定链表进行DFA最小化方法中只处理无互相依赖等价状态会造成最小化结果不正确。针对此问题,分析了DFA中状态的k次传递等价、含自回路状态的等价以及互相依赖等价等结构特点,将分析结果应用于DFA最小化算法中,提出了一个完善的基于判定链表的DFA最小化算法。该算法涵盖所有等价状态的链表处理,与传统的分割或合并算法的最小化结果一致,保证了基于判定链表的最小化结果的正确性。 展开更多
关键词 判定链表 确定有限状态自动机(dfa) 最小化
下载PDF
基于多维有限自动机的DFA改进算法 被引量:5
7
作者 宫阳阳 刘勤让 +4 位作者 杨镇西 邵翔宇 邢池强 焦慧娟 彭志彬 《通信学报》 EI CSCD 北大核心 2015年第5期174-186,共13页
多个正则表达式规则编译成一个DFA(deterministerfiniteautomata)时,会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题,从信息论的角度给出了解释,并提出多维数学模型,将冗余状态分为0维状态和1维状态,通过前者按... 多个正则表达式规则编译成一个DFA(deterministerfiniteautomata)时,会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题,从信息论的角度给出了解释,并提出多维数学模型,将冗余状态分为0维状态和1维状态,通过前者按照维度压缩,后者动态构建的方法将空间复杂度降到理论下界,并在此基础上提出多维有限白动机(MFA,multi—dimensionalfiniteautomata)。实验表明,MFA构造时间比XFA略少,比DFA、STT冗余压缩算法和Hybrid.FA降低了2~3个数量级;存储空间比XFA略高,比DFA、STT冗余压缩算法、mDFA、Hybrid-FA降低了1-2个数量级;匹配时间比DFA、Hybrid.FA略多,但是比XFA略少,比sTT冗余压缩算法和mDFA降低了1-2个数量级。 展开更多
关键词 正则表达式 dfa 有限自动机 状态爆炸
下载PDF
面向深度包检测的DFA细粒度并行匹配方法 被引量:6
8
作者 刘兴奎 邵宗有 +1 位作者 刘新春 孙凝晖 《计算机研究与发展》 EI CSCD 北大核心 2014年第5期1061-1070,共10页
确定性有限自动机(DFA)是实现正则表达式匹配的一种有效手段,但DFA的状态跳转是串行的,导致匹配速度慢、难以满足高速骨干网环境深度包检测(DPI)的性能需求.提出了一种称为LBDFA(Loopback DFA)的细粒度并行化状态跳转方法,通过将在Loopb... 确定性有限自动机(DFA)是实现正则表达式匹配的一种有效手段,但DFA的状态跳转是串行的,导致匹配速度慢、难以满足高速骨干网环境深度包检测(DPI)的性能需求.提出了一种称为LBDFA(Loopback DFA)的细粒度并行化状态跳转方法,通过将在Loopback状态上的连续跳转并行化,提高了匹配速度.此外,利用Bloom filter消除该并行跳转中的临时偏离现象,进一步提高了并行潜力.在L7-filter以及Snort规则集上的测试结果表明,LBDFA能够满足10Gbps以上的正则表达式匹配需求. 展开更多
关键词 正则表达式 确定性有限自动机 深度包检测 回环状态 FPGA
下载PDF
基于改进的Trie树和DFA的敏感词过滤算法 被引量:13
9
作者 吴珊 李英祥 +2 位作者 徐鸿雁 张仕霞 施宜军 《计算机应用研究》 CSCD 北大核心 2021年第6期1678-1682,1688,共6页
通过对文本内容中敏感词过滤方法及相关技术的研究,提出了一种基于改进的Trie树和DFA的敏感词过滤算法,解决了敏感词过滤技术中的人工干扰、分词障碍等关键问题,提高了文本中敏感词过滤的准确性和有效性。提出的算法包括三个步骤:基于... 通过对文本内容中敏感词过滤方法及相关技术的研究,提出了一种基于改进的Trie树和DFA的敏感词过滤算法,解决了敏感词过滤技术中的人工干扰、分词障碍等关键问题,提高了文本中敏感词过滤的准确性和有效性。提出的算法包括三个步骤:基于排列组合的数学原理对中文词向中拼混合词进行扩充;采用改进的Trie树结构来存储DFA的所有状态,构建敏感词树;根据构建的敏感词树结构以及采用最小匹配规则对文本内容中的敏感词进行检测和过滤。通过分析得到构建敏感词树算法的时间复杂度为O(n×len),敏感词检测及过滤算法时间复杂度为O(L)。实验结果表明,本算法其查准率为100%,查全率约为87%~100%。 展开更多
关键词 改进的Trie树 确定有穷自动机(dfa) 敏感词过滤 最小匹配规则
下载PDF
基于规则模板的正则表达式分组算法 被引量:8
10
作者 邵翔宇 刘勤让 谭力波 《电子学报》 EI CAS CSCD 北大核心 2016年第1期236-240,共5页
采用规则分组的方法解决确定型有限自动机(Deterministic Finite Automata,DFA)状态爆炸问题,随着分组数目的增加,匹配效率大大降低.本文提出正则表达式的输入驱动特性理论,并基于此提出了基于规则模板的分组算法——模板有限自动机.... 采用规则分组的方法解决确定型有限自动机(Deterministic Finite Automata,DFA)状态爆炸问题,随着分组数目的增加,匹配效率大大降低.本文提出正则表达式的输入驱动特性理论,并基于此提出了基于规则模板的分组算法——模板有限自动机.模板有限自动机算法基于规则模板对规则集进行分组,各分组分别构建匹配引擎.理论分析和实验表明,与典型的DFA改进算法相比,预处理时间和存储空间有2~3个数量级别的缩减,且匹配效率没有明显降低. 展开更多
关键词 正则表达式 确定型有限自动机 分组自动机 扩展有限自动机 多维有限自动机 规则模板
下载PDF
一种快速高效的模式匹配算法的应用研究 被引量:6
11
作者 王杰 刘亚宾 孙珂珂 《计算机工程与应用》 CSCD 北大核心 2008年第32期93-95,185,共4页
提出一种高性能的模式匹配算法——MAC算法,它通过使用从确定性有限状态机(DFA)中得到的特征等同态,在保证高速匹配的前提下,极大地减少了内存需求。同时,该算法具有高度的灵活性,即通过调整就可以适应不同的特定性能和资源限制的要求... 提出一种高性能的模式匹配算法——MAC算法,它通过使用从确定性有限状态机(DFA)中得到的特征等同态,在保证高速匹配的前提下,极大地减少了内存需求。同时,该算法具有高度的灵活性,即通过调整就可以适应不同的特定性能和资源限制的要求。在软件使用环境中的实验结果表明,MAC算法的内存使用性能相对目前先进的模式匹配算法提高了1.51~2.40倍。 展开更多
关键词 MAC算法 网络入侵检测系统 模式匹配 确定性有限状态机 非确定性有限状态机
下载PDF
基于模板有限自动机的正则表达式匹配算法 被引量:3
12
作者 邵翔宇 刘勤让 孙淼 《计算机应用研究》 CSCD 北大核心 2016年第7期2139-2142,2147,共5页
采用规则分组的办法解决DFA状态爆炸问题,随着规则数目的增加,空间压缩效率大大降低。针对此问题提出了模板有限自动机分组算法。该算法基于规则模板对规则集进行分组,各分组分别构建匹配引擎;同时,根据实际规则数目和系统结构改变规则... 采用规则分组的办法解决DFA状态爆炸问题,随着规则数目的增加,空间压缩效率大大降低。针对此问题提出了模板有限自动机分组算法。该算法基于规则模板对规则集进行分组,各分组分别构建匹配引擎;同时,根据实际规则数目和系统结构改变规则子集的数目,达到更好的匹配效率。理论分析和实验表明,与传统分组算法相比,在存储空间压缩相当情况下,分组数目大大减少;与其他典型的DFA改进算法相比,预处理时间和存储空间有数量级别的缩减,且匹配速率没有明显降低。 展开更多
关键词 正则表达式 确定型有限自动机 分组算法 规则模板 模板有限自动机
下载PDF
协议自适应的数据帧数据提取技术 被引量:4
13
作者 赵恒永 路红武 《计算机工程与设计》 CSCD 北大核心 2006年第4期701-703,共3页
计算机与具有不同应用层协议的设备进行通讯时,需要编写各自专用通讯接口程序,这往往造成整个应用系统的复杂和冗余。提出了一个基于确定有限自动机的更为切实有效的通讯方法,并给出了相应的解决方案。
关键词 通讯协议 协议分析 确定有限自动机(dfa)
下载PDF
正规文法与有限自动机的等价构造 被引量:3
14
作者 钱忠胜 邹俊 《计算机应用与软件》 CSCD 北大核心 2008年第6期110-112,共3页
在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂。对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该... 在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂。对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该算法的一个实例。 展开更多
关键词 有限自动机 dfa NFA 正规文法
下载PDF
基于子集构造法的优化的NFA确定化算法 被引量:1
15
作者 任平红 陈矗 +1 位作者 曹宝香 禹继国 《计算机技术与发展》 2011年第1期70-73,共4页
使用子集构造法对非确定有限自动机进行确定化的过程中存在大量重复计算的问题。为解决此问题,基于非确定有限自动机的特点并针对子集构造法的不足,提出了一种优化的非确定有限自动机确定化算法。首先定义了识别符的有效引出状态集概念... 使用子集构造法对非确定有限自动机进行确定化的过程中存在大量重复计算的问题。为解决此问题,基于非确定有限自动机的特点并针对子集构造法的不足,提出了一种优化的非确定有限自动机确定化算法。首先定义了识别符的有效引出状态集概念并证明了ε-closure的并定理以保证算法的正确性,其次给出了用于避免重复计算的识别符的有效引出状态集的构造子算法和单状态集的ε-closure的求算子算法,基于这两个子算法给出了优化的非确定有限自动机确定化算法,最后将算法应用于实例,实验结果表明计算量远小于子集构造法的计算量。相比子集构造法,算法能更有效地对非确定有限自动机进行确定化。 展开更多
关键词 子集构造法 非确定有限自动机 优化的 确定化算法
下载PDF
基于C语言编译器的词法分析浅析
16
作者 钱明珠 汪小宝 《电脑知识与技术》 2013年第8X期5450-5454,共5页
编译器是高级语言执行前必须使用的一个环节,它的作用是将自然语言转换成机器语言,而词法分析又是编译器整个工作的第一步——词素解析,笔者从词法分析的任务、基本词素、词法分析工具和DFA几个方面对词法分析进行浅析。
关键词 词法分析 编译器 有穷自动机(dfa) 词素
下载PDF
词法分析器生成器的设计与实现
17
作者 李垒 陈平 《荆门职业技术学院学报》 2008年第9期41-46,共6页
当构造词法分析器时,根据单词的正规式定义首先构造与正规式等价的NFA,之后用子集法将NFA转换成DFA,并用此DFA进行词法分析。对词法分析器生成器的设计算法进行了研究,即构造等价于给定正规式非确定有限自动机,并用一种高级语言(C语言)... 当构造词法分析器时,根据单词的正规式定义首先构造与正规式等价的NFA,之后用子集法将NFA转换成DFA,并用此DFA进行词法分析。对词法分析器生成器的设计算法进行了研究,即构造等价于给定正规式非确定有限自动机,并用一种高级语言(C语言)在计算机上实现。 展开更多
关键词 正规式 NFA(非确定有限自动机) dfa(确定有限自动机) 转换
下载PDF
基于簇聚类和游程编码的正则表达式压缩算法 被引量:1
18
作者 杨嘉佳 姜腊林 +2 位作者 姜磊 戴琼 谭建龙 《计算机工程》 CAS CSCD 2014年第8期282-287,292,共7页
基于簇聚类的确定型有穷自动机(DFA)压缩算法,即ClusterFA算法,解决了正则表达式匹配中的空间爆炸问题,但该算法的分组个数取理想值较为困难,且其类中心向量表的每一行中连续重复转移状态出现频率较高。针对该问题,提出一种改善ClusterF... 基于簇聚类的确定型有穷自动机(DFA)压缩算法,即ClusterFA算法,解决了正则表达式匹配中的空间爆炸问题,但该算法的分组个数取理想值较为困难,且其类中心向量表的每一行中连续重复转移状态出现频率较高。针对该问题,提出一种改善ClusterFA算法的方案En_ClusterFA。提取类中心向量表行与行之间相同的首尾部分,并对其进行游程编码以建立索引表,对类中心向量表余下部分的转移状态进行游程编码。利用该方案对Bro,Snort和L7-filter规则集进行测试,实验结果表明,除了L7_2和L7_6规则集的压缩率分别提高到96.1%和98.1%之外,其他规则集的压缩率都提高到99%以上。与ClusterFA算法的压缩率相比,En_ClusterFA平均提高了4%,证明En_ClusterFA能够有效地提高DFA的压缩效率。 展开更多
关键词 正则表达式 ClusterFA算法 确定型有穷自动机 游程编码 压缩率 吞吐率
下载PDF
基于动态默认转移的深度包检测算法 被引量:1
19
作者 张国军 林南晖 《计算机工程》 CAS CSCD 北大核心 2009年第9期121-123,共3页
由于基于确定性有限自动机(DFA)的多模式匹配算法对内存的需求比较大,因此需要对DFA进行优化,以减少其对内存的需求量。算法通过用动态默认转移来替代DFA的failto转移,将DFA中大量的failto转移删掉,从而达到优化DFA的目的。实验结果证明... 由于基于确定性有限自动机(DFA)的多模式匹配算法对内存的需求比较大,因此需要对DFA进行优化,以减少其对内存的需求量。算法通过用动态默认转移来替代DFA的failto转移,将DFA中大量的failto转移删掉,从而达到优化DFA的目的。实验结果证明,该算法能有效地优化DFA对内存的需求。 展开更多
关键词 入侵检测 动态默认转移 确定性有限自动机
下载PDF
BSPM:A NEW MECHANISM FOR “OVERLAP-MATCHING EXPRESSIONS”IN DPI
20
作者 Li Zheng Yu Nenghai Li Yang 《Journal of Electronics(China)》 2010年第3期289-297,共9页
Nowadays, using Deterministic Finite Automata (DFA) or Non-deterministic Finite Automata (NFA) to parse regular expressions is the most popular way for Deep Packet Inspection (DPI), and the research about DPI focuses ... Nowadays, using Deterministic Finite Automata (DFA) or Non-deterministic Finite Automata (NFA) to parse regular expressions is the most popular way for Deep Packet Inspection (DPI), and the research about DPI focuses on the improvement of DFA to reduce memory. However, most of the existing literature ignores a special kind of "overlap-matching expression", which causes states explosion and takes quite a large part in the DPI rules. To solve this problem, in this paper a new mechanism is proposed based on bitmap. We start with a simple regular expression to describe "overlap-matching expressions" and state the problem. Then, after calculating the terrible number of exploded states for this kind of expressions, the procedure of Bitmap-based Soft Parallel Mechanism (BSPM) is described. Based on BSPM, we discuss all the different types of "overlap-matching ex- pressions" and give optimization suggestions of them separately. Finally, experiment results prove that BSPM can give an excellent performance on solving the problem stated above, and the optimization suggestions are also effective for the memory reduction on all types of "overlap-matching expressions". 展开更多
关键词 Intrusion detection Deep Packet Inspection (DPI) Regular expressions Bitmap-based Deterministic finite automata (dfa)
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部