论文部分内容阅读
本文证明存在(任意元)延迟2步弱可逆有限自动机不等价于任何两个延迟1步弱可逆有限自动机的化合的任何子自动机。因而说明了不是对所有的弱可逆有限自动机,延迟步数都是可分解的,但对所有状态的延迟步数均为2的二元延迟2步弱可逆有限自动机,则分解是可行的。
关于弱可逆有限自动机延迟步数分解的两个结果
【摘 要】
：
本文证明存在(任意元)延迟2步弱可逆有限自动机不等价于任何两个延迟1步弱可逆有限自动机的化合的任何子自动机。因而说明了不是对所有的弱可逆有限自动机,延迟步数都是可分
【机 构】
：
中国科学院软件研究所北京100080北京邮电学院北京100088
【出 处】
：
计算机学报
【发表日期】
：
1993年8期
【基金项目】
：
科学院软件所青年科研基金
其他文献
饲料卫生指标砷是判定饲料质量安全的重要指标之一。砷在饲料中的相对含量低（mg/kg）,因此,检验过程中任一环节的疏忽都会对检测结果造成重大偏差从而影响其准确性。本文研究了
本文提出一种基于任一逻辑基值的多值阵列数据加密与解密系统,研究表明:对应于一个k级的规模为m×n的M（≥2）值加密阵列,其密钥空间为Mk×m×n,因此这种加密系统具
企业标准体系是企业标准化工作的一个重要组成部分，是加快企业技术进步、加强科学管理的重要手段。在当今国内、国际饲料市场竞争激烈的新形势下．企业标准体系已成为企业持续稳
3月26日．由中国兽医药品监察所组团的“赴美兽药风险评估和不良反应监测”培训团一行18人圆满完成21d的培训任务回国．培训期间．代表团了解了美国兽药上市前的风险评估流程和风险
本文对分子三维模型的显示算法进行了研究,提出了适合于光栅扫描显示器的分子球棒模型的快速算法,使得在微机上可进行分子球棒模型的三维实时操作;本文还对Huijsmans提出的分子空间填充模型的算法进行了改进,使算法更有利于并行实现,为在微机上实现CPK模型的实时显示提供了可能。这些算法以微型计算机为背景,速度快,占用内存少,对计算机图形系统硬件不作特别要求.
本试验主要研究以三丁酸甘油酯为主的短链脂肪酸酯对早期断奶仔猪生长性能的影响。选用25±1日龄的大白和长白断奶仔猪72头，随机分为试验组和对照组，每组设3个重复，每个重复
本文研究了规则相关性理论,给出了“递归时刻”、“完成时刻”定义及相关性定理,在此基础上提出了一种新的演绎方法——ARJ(AdvancedRelational Join)解释方法。它比RJ解释方
内蒙古大草原，鲜碧如画。7月4日．溢多利（内蒙古）酶制剂发酵基地投产庆典仪式在内蒙古自治区呼和浩特市托克托县工业园隆重举行。农业部畜牧司副司长王宗礼．全国畜牧总站副站长、中