论文部分内容阅读
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.
基于矩阵模型表示的(线性)有限自动机的同步序列判定
【摘 要】
：
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同
【机 构】
：
黔南民族师范学院数学系,毕节学院数学系逻辑语言与认知研究中心,广西师范大学数学科学学院
【出 处】
：
数学的实践与认识
【发表日期】
：
2004年期
其他文献
采用密度泛函理论计算酚羟基、羧基和二苯并噻吩的结构以及酚羟基和羧基吸附二苯并噻吩后的结构;用“分子内原子理论”计算酚羟基和羧基吸附二苯并噻吩后体系的电荷密度及其
单元复习课不仅是对原有知识的重现,能全面、系统复习本单元的基础知识,夯实学生的基础;还是对本单元知识的整合,提升了学生听说读写的综合运用能力以及分析问题解决问题的能
英语课程是一门记忆与思维相互促进的课程,其关键就在于抓住课堂的时间,尊重学生的主体地位,提升教学质量与教学效率。模拟语境、情境表达、引入课堂、激发兴趣,创设生本课堂
语言是人类最重要的交际工具和思维工具。英语作为我国学习的第二大语言,修辞手法的使用就格外重要,它能保证其他人能否正确接收你所要传达的信息,而良好语言的表达需要修辞
当前,随着全球化趋势的不断增强,翻译行业方兴未艾。但国内的口译教学与培训还是以课堂教学与训练为主,学生现场实景训练机会少。本研究旨在通过对比其他口译训练模式,构建互
对于语料库的应用研究日益活跃，语料库的建立对英语口译教学具有重要的价值。本文旨在将口译语料库与网络教学平台相结合，着重分析口译语料库的作用与意义，以及利用网络教学平台
称一个有限简单无向图X是半对称图,如果图X是正则的且边传递但非点传递.本文主要利用仿射几何构造了一类2pn阶连通p2度的半对称图的无限族,其中p≥n≥5.
[目的]为了评价吡蚜酮、异丙威在水稻上残留动态和环境安全性。[方法]2009—2010年在湖南、福建、广西进行了残留动态试验,建立了高效快速检测方法。吡蚜酮样品用乙腈-丙酮(
研究了检修间隔时间与零备件库存采购的联合优化问题.利用带有吸收状态的连续时间马尔科夫链表示有m个生产状态以及一个损坏状态的生产系统,这个系统的再生点是生产系统的维
利用三角形线性元的积分恒等式,给出了二维非定常对流扩散方程的半离散有限元解和真解的一致最优误差估计,即误差与ε无关,而仅与右端f和初值u0有关.