论文部分内容阅读
本文证明了有单位元的有限交换环R上任何延迟t步(弱)可逆线性有限自动机皆有延迟t步线性(弱)逆的充分必要条件是环R满足条件: x(Ax=0→bx=0)→y(b=yA)我们还证明了对任何有单有限交换环R,R上输入、输出维数相同的延迟t步(弱)可逆线性有限自动机具有延迟t步线性(弱)逆.
环上线性有限自动机的可逆性的一些结果
【摘 要】
：
本文证明了有单位元的有限交换环R上任何延迟t步(弱)可逆线性有限自动机皆有延迟t步线性(弱)逆的充分必要条件是环R满足条件: x(Ax=0→bx=0)→y(b=yA)我们还证明了对任何有单
【机 构】
：
郑州信息工程学院应用数学系郑州450003
【出 处】
：
计算机学报
【发表日期】
：
1991年8期
其他文献
目的探讨骨性关节炎病人的临床治疗效果。方法对27例患骨性关节炎患者治疗方法及效果进行回顾性总结分析。结果27例骨性关节炎患者,4例病情控虽然得到控制但是出现复发情况,2
水分在饲料质量控制中占有举足轻重的地位．它既是重要的质量指标之一．同时又是一项重要的经济指标．与产品中其他技术指标的计算有着密切联系．因此测定水分非常重要。水分测定方法
2009年国际大豆市场触底反弹，美元疲软、流动性过剩是其上涨的外因。南美减产、中国需求增加是国际大豆回暖的关键因素．偏紧的供求结构让国际大豆库存面临考验。
江西省畜牧技术推广站江西省畜牧技术推广站是这次全国畜牧站长工作会议的东道主，针对畜牧技术支撑体系的职能、工作思路及存在的问题等，记者采访了裘大堂站长．
<正> 1.前言 Pavlidis在文中提出了一种LAG(Line Adjacency Graph)的数据结构,多年来,这种结构在字符和线图等二值图象处理中得到了广泛的应用,与其他方法相比,基于LAG的细化
【本刊讯】为了贯彻落实中国农业部国际合作司与德国巴伐利亚州农林部签署的《关于推广应用德系西门塔尔（弗莱维赫）乳肉兼用牛种遗传物质与相关技术的合作协议》，促进我国牛的品
近几年来软件复用技术越来越引起人们的重视,普遍认为它是提高软件人员生产率的主要途径之一.本文着重介绍作者开发的一个可复用软件库管理系统的原型SBMS.利用SBMS,在软件系
<正> 英国D.C.Ince教授最近提出了一种基于系统复杂度的软件设计自动优选法,本文对该方法进行分析,指出其中的一些不足之处并提出改进意见及实现措施。 1.Ince软件设计自动优