论文部分内容阅读
对有限状态机的最小化理论进行了研究，提出了原机器肘与其最小机器M′之间还存在一种更近的关系，即同余关系．为机器M与M′构造相关的代数系统，证明了二者之间存在同余关系．阐述了同余关系对系统描述的意义，为应用有限状态机简化复杂过程提供了进一步的理论依据．
关于有限状态机最小化理论的一个注记
【摘 要】
：
对有限状态机的最小化理论进行了研究，提出了原机器肘与其最小机器M′之间还存在一种更近的关系，即同余关系．为机器M与M′构造相关的代数系统，证明了二者之间存在同余关系．阐述了
【机 构】
：
辽宁大学信息科学与技术学院
【出 处】
：
辽宁大学学报：自然科学版
【发表日期】
：
2008年3期
其他文献
搜集近30年国内外有关欧洲花楸植物的文献资料,对欧洲花楸化学成分和药理作用进行综述,并对其开发利用进行了展望.通过文献了解到,欧洲花楸中含有黄酮类、三萜类、甾醇类、二
通过室内盆栽法初步研究了疏花蒺藜草浸提液对燕麦的化感作用．结果表明：1）疏花蒺藜草浸提液浓度较低时对燕麦种子萌发的化感抑制作用较弱，随处理液浓度的增加化感抑制作用随之增
在城市高架道路设计中,特别在交通繁忙的路口建造立交桥,受施工条件、工期、桥梁总体美观等多方面因素的限制,结构总体设计多采用跨越能力较强,施工快捷的连续钢箱梁方案。以
针对PID控制器的参数整定和优化问题,本文提出一种基于免疫克隆算法的优化PID控制器参数的方法.该算法与人体免疫系统机制相似,通过克隆、选择和高频变异,以获得最优的目标函
为了建立赤松ISSR-PCR反应体系,利用正交试验分别对影响赤松PCR反应的dNTP浓度、Mg^（2＋）浓度、Taq酶浓度、引物浓度、模板浓度进行了优化,并通过梯度PCR确定引物的最佳退火温度
分析了电源与地之间ESD保护电路的必要性，研究用于电源和地之间GCNMOS（栅极耦合NMOS）结构ESD保护电路的工作原理，在此基础上提出了一个相应的版图设计，仿真结果显示该结构的ESD失
Pseudomonas.oleovorans 14682是一种可以产生短链PHA的菌株,其产PHA的能力、单体组成跟碳源、发酵条件有关.在以甘油为唯一碳源时,只产生PHB.实验采用了不同浓度梯度的甘油
针对环保和选煤厂产能提升给浮选尾煤处理系统带来的压力,八矿选煤厂通过采用浮选尾煤梯次减量技术,实现了对浮选尾煤的三段浓缩、三段回收梯次减量化处理。生产实践表明,该
提出了一种基于小范围边缘区域搜索的虹膜定位算法。首先,利用瞳孔的灰度特征对虹膜图像进行二值化及形态学处理,结合对原虹膜图像的Sobel检测结果得到部分虹膜内边界;然后利用Canny算子结合虹膜的几何特征划分出一小范围的外边缘待搜索区域。在待搜索区域中,利用本文根据大量实验提出的虹膜外边界五个特征来确定部分虹膜外边界,最后用最小二乘法来进行内外边界的拟合,从而定位虹膜。实验结果表明,该算法性能稳定,