论文部分内容阅读
本文利用模型论博奕理论的方法证明了Ｌ（Ｐ＾１，１）能够刻画正则语言。由此我们得了结论：在有限的离散线性序上Ｌ（Ｐ＾１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的。
L（P^1,1）和正则语言
【摘 要】
：
本文利用模型论博奕理论的方法证明了Ｌ（Ｐ＾１，１）能够刻画正则语言。由此我们得了结论：在有限的离散线性序上Ｌ（Ｐ＾１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的。
【机 构】
：
北京师范大学数学系,中国科学院计算技术研究所
【出 处】
：
计算机学报
【发表日期】
：
1996年11期
【基金项目】
：
国家自然科学基金
其他文献
本文提出一个具有N1+ε台处理机和带有N1+ε个1-位（二进制位）的可变结构的总线系统的SIMD阵列处理机系统．其中，ε是任意小的正常数．它具有常数步排序能力．先前具有常数步排序能力的
当前．我国小麦主产区由南向北正陆续进入“三夏”生产的关键时期。6月9—10日．中共中央政治局常委、国务院总理温家宝来到河南省郑州、许昌等地。深入麦田、农户和粮库，实地察看
由国家饲料质量监督检验中心（北京）主办．农业部饲料质量及畜产品安全监督检验测试中心（沈阳）承办的全国饲料质检体系实验室比对考核技术研讨培训班于7月20日在沈阳举行。全国饲料
释中关于侵犯商业秘密一节内容为指导，结合代理相关案件的经验，论述商业秘密侵权案件中原告的举证责任，以及为避免经营者在遭受侵害时因举证不能而败诉，如何完善日常管理制度。
6月22日．财政部和国家税务总局公布“关于取消部分商品出口退税的通知”，自2010年7月15日起，我国将取消406种商品的出口退税。
本文从ＮＵＭＬ函数式部分实现中遇到的类型检测问题着手，讨论类型检测问题到半合一问题的转化，给出半合一的转换式求解机制和该转换规则集的可靠性和完备性定理。
本文讨论分布式演绎数据库系统中的规则分配问题。文中给出了五种有效的启发式规则分配算法，它将规则库表示成一个有向的层次结构图，并依据此图按自上而五方式分配规则。本算法
岁末年关,回首2011年饲料行业,虽然国内外经济形势复杂多变．但饲料工业继续保持良好发展势头，运行总体平稳。预计全年商品饲料总产量1．69亿t,同比增长4．3％。尽管原料价格和综合生
本文提出了一处混合型多概念获取算法的ＨＭＣＡＰ，它将符号学习ＣＡＰ算法的主要和ＢＰ神经网络有机结合，以状态在实例空间出现的概率为启发信息，以提供的混合实例集为分类依据，并具有增量学习能力。
本文提出了一种可简单、高效地表示二叉树的存储结构。该结构：（１）显著地提高了寻找给定结点的父／兄结点等基本操作的时间效率，达到Ｏ（１），高于传统结构树下的效率；（２）使遍历操作不再显式或隐式