论文部分内容阅读
本文提出了一类交替的ω－有穷自动机（ω－ＵＡＦＡ），并采用了构造方法证明了ω－ＵＡＦＡ和简单的ω－ＵＡＦＡ在Ｃ＿１、Ｃ＿２、Ｃ＿５和Ｃ＿４接受条件下的等价性。
一类交替的ω－有穷自动机
【摘 要】
：
本文提出了一类交替的ω－有穷自动机（ω－ＵＡＦＡ），并采用了构造方法证明了ω－ＵＡＦＡ和简单的ω－ＵＡＦＡ在Ｃ＿１、Ｃ＿２、Ｃ＿５和Ｃ＿４接受条件下的等价性。
【机 构】
：
郑州大学计算机科学系
【出 处】
：
郑州大学学报：理学版
【发表日期】
：
1994年2期
【基金项目】
：
国家自然科学基金资助
其他文献
本文用ＤＳＣ方法研究了尼龙６９在不同等速降温速率下的结晶过程，并利用由等温Ａｖｒａｍｉ方程推导得到的等速降温非等温结晶方程，研究了其结晶动力学。结果表明，随降温速率β增大，结晶温度向低温偏移
本文报导的计算机程序，可将分子中原子的自然坐标变换成直角坐标，计算任意两个原子的间距，求解任意三个原子核连线的夹角和任意四个原子构成的二面角。介绍了程序的设计思想和使
考虑三维ＳＢｑ方程组的定解问题．首先，采用Ｇａｌｃｒｋｉｎ方法证明局部强解的存在性．然后，利用连续方法和一致性估计，获得ＳＢｑ方程组Ｃａｕｃｈｙ问题整体强解的存在唯一性．更多还原
本文讨论逼近线性周期抛物问题的加权六点格式，利用单调矩阵理论证明了它的唯一可用性及收敛性，给出了最大模误差估计，分析了四个典型算例．更多还原
本文报导的计算机程序，可显示确定分子点群的系统步骤，通过人机对话辅助确定分子点群，显示点群的特征表，并可在分子结构立体图上绘全部对称元素。
本文根据狭义相对论的原理直接说明同时的相对性并导出时钟延缓和洛仑兹收缩，然后由此很简单地得出洛仑兹变换．更多还原
文中阐明了一种用裂变径迹和γ能谱联合起来测定矿石年代的新方法。这种方法通过常规办法测定矿石中￣（２３８）Ｕ的自发裂变径迹密度，再由γ能谱的数据计算出矿石中铀的含量，就可推算出矿石
本文在分析Ｂ－Ｐ网络模型的分类原理和学习算法的基础上，提出一种求解单模式Ｂ－Ｐ网络连接权值和网值的解析方法，并设计相应的分类器模型．这不仅突破了神经网络模型传统的用梯度下降法进行
本文提出了一种优化的并行字符串查找技术．通过引入搜索状态向量及字符一模式匹配向量，该技术将字符串匹配比较转化为简单的整数字位运算，通过时字符串方向相反的搜索有效地实现
本文基于酸性介质中亚硝酸根对氯酸钾氧化亮甲酚兰使其褪色所起的催化作用，建立了高灵敏度催化光度法测定亚硝酸根的新方法，测定范围为２－４０ｎｇ／ｍｌ，用于肉制品和不同水样中亚硝酸根的测定，获