【摘 要】
：
Ra, Pb transformations were successfully applied to establish invertibility theory for linear and quasi-linear finite automata over finite fields. In a previous
【机 构】
：
Laboratory for Computer Science
论文部分内容阅读
Ra, Pb transformations were successfully applied to establish invertibility theory for linear and quasi-linear finite automata over finite fields. In a previous paper, the authors generalized Ra, Rb transformations to deal with nonlinear memory finite automata, and gave sufficient conditions for weak inverse and for weakly invertible memory finite automata and inversion processes concerned;methods by transformation to generate a kind of nonlinear memory finite automata satisfying one of these sufficient conditions were also given.This paper extends the concepts, methods and results to general finite automata, in which states consist of finite input history, finite output history and finite "inner state" history.
其他文献
目的建立并应用高效液相色谱(DHPLC)技术检测Wilson病(WD)ATP7B基因第8外显子突变。方法采用聚合酶链式反应(PCR)扩增WD基因第8外显子片段,扩增产物直接进行DHPLC检测分析,根
Based on the femtosecond accelerator device,we are planning to build a broad band and tunable THz source using the Smith-Purcell tadiation mechanism.Coherent Sm
本文结合军工科研企业技术研发特点,从知识角度描述科研档案在科研活动中所体现出的价值特点,提出科研档案是科研企业内部情报,由此引发科研档案在当前科研活动中所起的作用
介绍了摩托车发动机性能实验室的通风和噪声情况，并以中国轻骑集团的实验室为例进行具体分析。
The paper introduces the ventilation and noise of motorcycle engine perf
Under some conditions on probability, this note discusses the equivalence between the complete convergence and the law of large number for B-valued independent
提出了一种利用空气动力效应，实现发动机气体燃料延迟进气的新型供气系统，该系统不采用机械运动部件，能有效地控制气体燃料的进气起始时刻和进气持续时间。对该管系进气过程进行
对横风向驰振的以往计算方法进行了论述 ,指出了传统计算方法的值得改进之处 ,提出了修正建议。
介绍所开发研制的以过滤体微波再生技术为基础的汽车柴油机排气微粒后处理系统的总体组成、工作原理及其特点。对装有 ６１１０Ａ型柴油机和排气微粒后处理系统的 ＣＡ１４１型柴油车进行了整车台
Some sufficient conditions for oscillation of the generalized Lienard equationsx=h(y)-F(x)x y=-g(x) are given, which generalize the results of[1-7].
根据 Ｍ８５甲醇和汽油两种燃料的特性，在 ４９５Ｑ汽油发动机上着重研究了通过合理切换、调整化油器、混合气预热、点火角度，确保双燃料发动机的正常工作，试验结果证明，将低压缩比的点燃式发动