共查询到19条相似文献，搜索用时 140 毫秒
1.
郑兆岳 《淮南师范学院学报》2012,14(3):8-11
给出经典双向有穷自动机的即时描述,接受（识别）的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把它推广到模糊上去,相应地给出了双向模糊有穷自动机的定义,即时描述及其接受的语言,进一步证明非确定性双向模糊有穷自动机与确定双向模糊有穷自动机接受的语言是等价的。 相似文献
2.
有穷自动机的等价转化,主要包括不确定有穷自动机(NFA)的确定化,确定有穷自动机(DFA)的最小化。着重探讨了这两个算法中的一种常用的重要工具——状态转换矩阵,以及用状态转换矩阵解决几类特殊问题的方法。 相似文献
3.
通过给定的单模式构造出相应的模式匹配自动机,集成单模式匹配自动机而得到多模式非确定型有穷自动机（NFA）。将非确定型自动机转化为确定型自动机,在状态集上引入等价关系,对该确定型有穷自动机进行极小化,得到与原自动机功能等价的极小化自动机,从而使之能确定其中任意一个模式的所有匹配位置。 相似文献
4.
5.
有限自动机的等价性与路代数 总被引：2，自引：0，他引：2
定义了有限自动机路代数的一个右理想,用以判断有限自动机状态的等价性及判断两个有限自动机之间的等价性, 进而讨论循环有限自动机的等价性. 相似文献
6.
利用模式匹配自动机匹配文本串,可简化模式串匹配算法,以实现模式串匹配算法的标准化。文章描述了LRPA、RLPA和RLSA等三种模式匹配的自动机．给出了RLPA自动机的设计过程和实现算法,并讨论了RLPA自动机匹配算法的空间复杂性和时间复杂性。 相似文献
7.
8.
杨楠 《黔南民族师范学院学报》2008,28(3):35-38
主要讨论了基于矩阵模型表示的线性有限自动机的弱可逆性,利用矩阵模型得出了线性有限自动机延迟有限步弱可逆的充分必要条件,并且给出了线性有限自动机是否具有弱可逆的算法。 相似文献
9.
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。 相似文献
10.
当构造词法分析器时,根据单词的正规式定义首先构造与正规式等价的NFA,之后用子集法将NFA转换成DFA,并用此DFA进行词法分析。对词法分析器生成器的设计算法进行了研究,即构造等价于给定正规式非确定有限自动机,并用一种高级语言(C语言)在计算机上实现。 相似文献
11.
该文在文献[1,2]给出的有限自动机矩阵模型表示方法等基本理论基础上,对基于矩阵模型表示的有限自动机极小化方法进行深入分析,提出了对其进行并行处理的方法,以实例详细描述了算法并行处理过程,并验证其算法的可行性. 相似文献
12.
提出了规则合并的优化方法和重复记录聚类清除的方法.应用模糊等值理论,避免了传统等值理论非此即彼的僵硬方式,但清理过程中部分规则可能存在包含与被包含的关系,被包含的规则其等值度显然会相对较小,根据用户阀值提出了规则合并的优化方法,可减少重复记录的计算时间.基于同样的原因,规则间的包含与被包含关系将影响模糊等值度的误差分析,因此提出了利用忽略被包含的规则等值度提高误差分析精度的改进模糊等值理论误差分析方法.重复记录的核实通常需要人工逐条检测,易于出错,本文提出的聚类算法,可节省大量的用户劳动.最后给出一个实验,表明了规则优化的可能性. 相似文献
13.
朱怡权 《黄冈师范学院学报》1992,(3)
本文引进了一般BCI-代数的正规理想的概念,主要讨论了由正规理想决定的等价类的性质。特别地,我们证明了对于正规理想,类似于有限群论中的Lagrange定理成立。此外,我们还讨论了正规理想同其它一些特殊理想之间的关系。 相似文献
14.
15.
在有理整值多项式上建立了等价关系，从而将深度有限的无限长序列与有理整值多项式的等价类建立了一一对应，通过分析等价类计算序列的深度分布，构造了一个码C到C的映射D，利用D的性质和线性空间的基础知识给出了线性循环码的深度分布的计算方法. 相似文献
16.
翻译可以既“忠”又“美”——以奈达的“对等”理论看勃朗宁《深夜幽会》的汉译 总被引：1，自引：0，他引：1
尤金·奈达把他的"对等"原则细分为"形式对等"和"功能对等".以奈达的理论解读"Meeting at Night"的汉译可以看出,只重视形式而忽视功能,"形似而神不似",是不可取的.诗歌翻译中的"对等"并非亦步亦趋,形式对等应以功能对等为前提,形式对等和功能对等并存时方可产生优秀译文. 相似文献
17.
文章对功能对等理论进行了简单的概述,并对广告的语言结构特点简单分析后,从广告翻译的词汇句法功能对等、语体对等和文化对等三方面进行了探讨。 相似文献
18.
略论翻译对等与翻译策略 总被引：2，自引：0，他引：2
本文从功能对等的概念出发，探讨翻译对等的实质，指出形等和意等应服从信息对等，即语体和语用层次上的对等，并着重阐述在不同的文化情景语境下如何通过适宜的翻译策略，如归化、归化补偿、异化补偿、文内释义等，找出传递原语信息的最佳表达方式，从而实现原译语在同一语境中的信息对等。 相似文献
19.
测度有限集上有界函数L积分定义的等价性 总被引：1，自引：0，他引：1
张永锋 《咸阳师范学院学报》2005,20(6):73-74
关于Lebesgue积分,文献有不同的定义,本文给出了测度有限集上有界函数Lebesgue积分三种不同定义的等价性的一种证明。 相似文献