检索结果-南通市图书馆

计算机工程与应用 2010年第12期46卷 50-52,59页

作者：苏平束德勤范昊山东大学计算机科学与技术学院济南250100 山东农业大学信息科学与技术学院山东泰安271018

Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础... 详细信息

Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上,研究了正规表达式中Kleene闭包运算"*"的Petri网构造方法,分别给出了Kleene闭包运算"*"的ε-空标注和无ε-空标注Petri网模型的构造方法。该构造方法可由产生正规语言L的网模型直接得到产生正规语言L*的网模型。证明了对于恰当终结的标准Petri网,正规语言闭包运算"*"的构造是封闭的。

关键词： Petri网正规语言闭包运算 Petri网构造方法

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

闭包运算、内部运算与子集族确定的拓扑何时相同

引用

衡阳师范学院学报 2007年第6期28卷 35-37页

作者：邓义华衡阳师范学院数学系湖南衡阳421008

首先引入了拓扑空间的子集关于某个子基的内部和闭包的定义,然后讨论了它们的一些性质;在此基础上得出了闭包运算、内部运算与子集族确定的拓扑相同的条件。

关键词：拓扑空间闭包运算内部运算子基

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

关于表示闭包运算的极小矩阵

引用

苏州大学学报（自然科学版） 1989年第1期5卷 1-6页

作者：吴利生苏州大学数学系

为了求解数据库理论中的一个组合优化问题,Demetrov-ics 等提出如下猜测:对任何n≡1(mod 3) ,完备有向图(?)的有向边集可划分成n 组定向三角形,使得第i 组的顶点全体恰为{0,1,…,n-1}-{i},0≤i≤n-1,并且任两个不同的组恰含一对方向相... 详细信息

为了求解数据库理论中的一个组合优化问题,Demetrov-ics 等提出如下猜测:对任何n≡1(mod 3) ,完备有向图(?)的有向边集可划分成n 组定向三角形,使得第i 组的顶点全体恰为{0,1,…,n-1}-{i},0≤i≤n-1,并且任两个不同的组恰含一对方向相反的有向边.本文对此猜测给出解答,即证明了:当n(?)10,n≡1(mod3) 时猜测为真,n=10时,猜测不真.

关键词：闭包运算矩阵数据库

来源：

维普期刊数据库

同方期刊数据库评论