NFA→FA→GFA自动机转换算法

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:wwjnb2009888
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了不确定有穷自动机NFA、确定有穷自动机FA、规范有穷自动机GFA的基本关系与等价转换;给出了"NFA→FA"等价转换算法与"FA→GFA"等价转换算法,构造性证明了从FA到GFA的存在性,提供了自动机极小化算法的研究基础.
其他文献
Collagen is the major acellcar of connective tissue protein in animals,accountingfor about 25% of the total body protein of vertebrates.An essential feature of
客观:调查 apoptosis (XIAP ) 和在人的胰腺的癌症 Panc-1and BXPC-3 房间表明小径 tochemoresistance 的 caspase (Smac ) 的第二导出线粒体的使活跃之物的 X 连接禁止者的关
《3-6岁儿童学习与发展指南》:艺术——3~4岁幼儿认识国旗,知道国歌。核心素养:国家认可。热爱祖国,这是一种最纯洁、最敏锐、最高尚、最强烈、最温柔、最有情、最温存、最严酷
加点料现在正处在白露节气中,早晨经常能看到晶莹剔透的露珠,家长可以引导孩子观察露珠,进而了解气候的变化,熟悉与节气相关的传统文化.延伸问题:太阳能见到露珠吗?
为实现多线性调频信号参数的快速准确估计,运用模糊函数和Radon变换的性质,提出以信号分数阶自相关实现模糊函数快速计算,并对分数阶自相关进行Radon变换,结合自适应滤波的方法来
客观:评估临床的有效性;为上面的胃肠道癌症的光力学的治疗(太平洋夏季时间) 的不利效果。方法:有在不同临床的阶段的上面的胃肠的癌症的 56 个病人与太平洋夏季时间被对待。当
Objective: To investigate the expressions of heat shock protein (hsp) 10, hsp27, hsp60, hsp70 and hsp90α in esophageal squamous cell carcinoma (ESCC) and norma
在分析与恢复技术有关的GMPLS技术特性基础上,提出了一种基于约束的GMPLS恢复算法(CGR),并对相关的约束条件的设置做了具体的规定和说明,以网状网为例,详细介绍了所提出算法
客观:探索 angiopoietins (Ang-1, Ang-2 ) 在胃癌的 /Tie-2 表示 andangiogenesis。方法:RT-PCR 和免疫组织化学习惯于 detectangiopoietins/Tie- 在胃癌和他们的邻近的 normal