【摘 要】
：
半输入存储有限自动机是在研究误差传播问题时由本文头一位作者提出的一类有限自动机,它作为输入存储有限自动机的推广,增加了一个自治有限自动机作为其组成部分.本文对于自
【机 构】
：
中国科学院软件研究所计算机科学实验室(北京)
论文部分内容阅读
半输入存储有限自动机是在研究误差传播问题时由本文头一位作者提出的一类有限自动机,它作为输入存储有限自动机的推广,增加了一个自治有限自动机作为其组成部分.本文对于自治有限自动机M<,a>的状态图构成一个圈的情形,刻划了延迟1步弱可逆半输入存储有限自动机C(M<,a>,f)的结构,即给出了f的显表达式.基于作者最近在互逆性方面的一个结果,上述刻划也导致延迟1步前馈逆有限自动机的一种刻划.
其他文献
GPRS/TD网络作为移动数据业务基础承载网络,其安全性越来越受到关注。一方面GPRS/TD网络基于互联网分组交换系统,面临与任何公共互联网相同的安全问题;另一方面,GPRS/TD专业
By an iteration method, the influence of oil film inertia on piston skirt lubrication in a high speed engine is investigated. By altately solving the Navier-Sto
植物寄生线虫广泛存在于烟草根际土壤和根系,是烟草生长的一个重要限制因素,为了进一步了解云南烟草寄生线虫的状况,对烟草主要种植区域的烟草寄生线虫进行了调查和鉴定.
烟草丛顶病是一类新的烟草病害,本文用Umbravirus 复制酶基因通过引物,从云南田间发病烟株和带素蚜虫是扩增到了烟草丛顶病素保山分离物的复制酶基因,并对其进行了克隆及序列
该文对解椭圆曲线上离散对数的Pollard ρ算法和并行碰撞搜索算法分别建立了它 们的图论模型和分析了碰撞技巧,比较了两个算法,进而提出了设计迭代函数的准则并 给出一个改进
目前正在纵深推进的医改为基层医疗卫生单位的发展创造了有利条件,基层医疗卫生单位的用人环境在一定程度上有了一些改善,在《国家中长期人才发展规划纲要(2010～2012年)》中也
本文对现有基于离散对数问题、具有消息恢复的签名方案的安全性进行分析,利用中国剩余定理(CRT),提出一种有效的攻击方法.为了避免这种攻击,对现有具有消息恢复的签名方案进
Chaum在文献[1]中提出群签名的概念.他允许群成员之一代表这个群体对消息进行匿名的签名.如果以后出现争议,设定的群管理员可以打开签名并确定签名者身份.本文基于DSA体制建
本文研究了(Z)→(Z)(P为素数)上函数的扩散性,给出了(Z)→(Z)上完全扩散函数的计数,得到了分块的大小对函数扩散性的影响,解决了(Z)→(Z)上置换函数的扩散度分布情况.