论文部分内容阅读
本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。
回溯自动机的两个基本定理
【摘 要】
：
本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受
【机 构】
：
西北大学计算机科学系,西北大学计算机科学系
【出 处】
：
西北大学学报：自然科学版
【发表日期】
：
1990年1期
【基金项目】
：
国家自然科学基金
其他文献
川牛膝茎中存在两种不同类型的异常结构。在正常维管系统的周围存在1～3轮同心环状或不整齐排列的异常维管束。异常维管束外韧型,分布在薄壁或厚壁结合组织中。不同节位茎中异
坚持以信息化带动管理现代化,加快推进信息化建设,充分发挥信息化在推动发展方式转变中的重要作用,是实现公司可持续发展的必然要求。浙江省电力公司湖州电力局通过以信息化
在介绍J2EE架构和工作流技术特点的基础上，分析和研究了中国大唐集团供应商审批系统的系统构架以及功能模块，给出了一种基于J2EE的供应商审批系统的设计和实现方法，并对其中的相
对秦岭沙沟韧性剪切带的主要岩石类型长英质糜棱岩的组构和变质矿物组合研究表明，甚至少经历了３其构造事件，主变形其发生在角闪岩相条件下，温度约５３０℃；持续的岩浆分融／侵入和剪切作用
在电力系统中，变电站强电设备的防雷措施比较完善，但变电站弱电设备（如通信设备、自动化设备．计算机及网络设备、弱电电源设备等）的防雷却显得很薄弱，每年变电站各种弱电设备因雷击
以秦巴山区宁强试验名弱智儿童为试验组，以当地７４名智力正常儿童对照组，采用荧光分析法测定了两组儿童的血清ＶｉｔＡ水平。结果表明：弱智力儿童与对照组儿童血清ＶｉｔＡ水平无显著差异，试验组儿童
<正> 早稻生长中后期根系吸收功能减弱,喷施氮肥可延长功能叶寿命,防止脱氮早衰。一般在孕穗期和灌浆初期各喷施一次1%的尿素溶液,与1000-1500倍的肥力宝液混合喷施效果更好