论文部分内容阅读
由输入存贮线性有限自动机的线性系数组成的矩阵得出输入存贮线性有限自动机极小的等价定理,由此定理得出输入存贮线性有限自动机的极小化方法.
输入存贮线性有限自动机的极小化
【摘 要】
：
由输入存贮线性有限自动机的线性系数组成的矩阵得出输入存贮线性有限自动机极小的等价定理,由此定理得出输入存贮线性有限自动机的极小化方法.
【机 构】
：
山西财经大学,广西师范大学
【出 处】
：
数学的实践与认识
【发表日期】
：
2004年期
其他文献
将硝酸铁和甲醇、磷酸溶液按一定比例混合后,通过旋涂法制备了磷酸铁(FePO4)纳米薄膜,测定了匀胶机转速对膜厚及烘干温度对膜厚和折射率的影响,并发现薄膜的烘干温度超过150
目的:建立一种测定元胡止痛口服液中延胡索乙素含量的高效液相色谱方法。方法:收集10批元胡止痛片,经过全面、规范的方法学验证,确定色谱条件为:C18柱(4.6mm×250mm,5μm);流
标题化合物具有抑制单胺氧化酶活性,也具有优良的荧光性能。以4-卤代间苯二酚为原料,经甲酰化得到2,4-二羟基-5-卤代苯甲醛,再和吡啶乙酸乙酯经Knovengel反应合成了6种未见文
目的 探讨脯胺酰羟化酶抑制剂3,4-二羟基苯甲酸乙酯(EDHB)对白蛋白诱导的低氧条件下培养的肾小管上皮细胞(NRK-52E)凋亡的影响.方法 NRK-52E细胞在以下各组孵育24 h:常氧(5%C
以质量比为1∶9∶20的硝酸铈铵、高岭土和SnCl45H2O制备了固体超强酸催化剂SO2-4/SnO2-CeO2-高岭土,制备条件为促进剂H2SO4浓度2.0 mol/L,浸渍12 h,350 ℃焙烧3 h,并采用Hamm
针对目前常用的Phase-Type分布稠密子集存在的问题,对Hyper-Erlang分布进行扩展,给出了Phase-Type分布一个新的稠密子集E-HErD,证明了该新稠密子集的稠密性,并给出了其若干相
乙烯裂解生产过程中存在的一个突出问题是结焦，在裂解原料中添加抑制剂是抑制结焦的一种重要方法，磷酸二异辛酯的吗啉盐是一种新型的结焦抑制剂。本实验以磷酸和异辛醇为原料，分
目的 观察肠癌细胞株SW-620中肿瘤干细胞相关的SP(side population)亚群比例,分选出相关的SP和NSP细胞,并鉴别相关的SP是否具有干细胞某些生物学特性.方法 制备SW-620细胞悬
Riccati矩阵方程在控制理论和状态估计问题的研究中具有重要的理论和实用价值。针对摄动参数为带有范数有界不确定性的摄动连续Riccati矩阵方程解矩阵界估计问题,通过构造两