论文部分内容阅读
本文给出了细胞（ｄ１，ｄ２）－有图自动机类的定义及其接受语言（判断）类的定义，并讨论了该语言（判断）类在并、交、补等集合论运算下的封闭性。
细胞（d1,d2）—有向图语言类在集合论运算下的封闭性
【摘 要】
：
本文给出了细胞（ｄ１，ｄ２）－有图自动机类的定义及其接受语言（判断）类的定义，并讨论了该语言（判断）类在并、交、补等集合论运算下的封闭性。
【机 构】
：
青岛大学计算机系
【出 处】
：
青岛大学学报：自然科学版
【发表日期】
：
1996年3期
其他文献
1.旧城改造的由来随着改革开放的进程逐步深入,我国经济实力不断加强,全国各地的旧城商业区改造工作,也开展得轰轰烈烈.各级政府部门都把发展经济、改善投资环境、提高旧有商
<正> 本文推出有关混凝土桩非破损检测的一维波动传播理论及公式,以便现场技术人员在对通过非破损检测手段获得的由各种数据组成的特征值或特征曲线进行解析时,作出正确的判
整体穹顶是一个半环形壳,下口直径37m,高11m,采用6mm厚的钢板和角钢焊接成形,角钢沿径向和环向布置,呈放射状,重150t,吊装就位标高43.83m.
本文根据隔震结构的振动特性和大量时程地震反应分析的结果,描述了结构的层间地震剪力沿高度分布的主要规律,并讨论了结构特性,地震特性和隔震参数的选择对地震剪力分布规律
1.前言在钢筋混凝土结构设计中,无论是手算还是电算,内力计算前必须初选结构的断面,柱以轴压比控制,剪力墙用墙率和刚度来控制.对于梁断面则按经验公式h=(1/8∽1/12)L确定(其
设Ｇ是２－连简单平面图，ｘ＾ｖｅｒ（Ｇ）为Ｇ的完备Ｌｉｓｔ和选择数。本文证明若Ｇ为最大度△（Ｇ）≥７的２－连通外平面图，则ｘ１＾ｖｅｒ（Ｇ）＝△（Ｇ）＋１