-
题名无向图语言
被引量：3
- 1
-
-
作者
师海忠
-
机构
西北师范大学数学与信息科学学院
-
出处
《计算机科学》
CSCD
北大核心
2011年第6期259-261,274,共4页
-
基金
甘肃省自然科学基金(ZS991-A25-017-G)资助
-
文摘
无向图是图论中的基本概念,图半群是1991年提出的一个概念,形式语言与自动机理论是计算机科学与技术科学的重要基础理论。借助无向图和图半群,提出了无向图语言的概念,并研究了无向图语言的一个子类———平面图语言,给出了如下结论:一个无向图语言是平面图语言当且仅当它不包含K5语言或K3,3语言的剖分图语言。另外提出了几个开问题,其中之一是无向图语言与正则语言、上下文无关语言、上下文有关语言以及短语结构语言有何关系?
-
关键词
无向图
图半群
无向图语言
平面图语言
-
Keywords
Undirected graph
Graph semigroup
Undirected graph language
Plane graph language
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名(V,R)-语言
被引量：1
- 2
-
-
作者
师海忠
师越
-
机构
西北师范大学数学与统计学院
北京工业大学经济与管理学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第S1期33-36,共4页
-
文摘
V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半群是(V,R)-半群,超图半群把超图理论和自由半群理论联系起来。以此为基础,提出了(V,R)-语言和超图语言两个概念。超图语言把超图理论和形式语言理论联系起来。进而,证明了超图语言、无向图语言和有向图语言都是特殊的(V,R)-语言。第三,证明了无向图语言和有向图语言都是正则语言。这就回答了文献"无向图语言"和"有向图语言"中提出的开问题。(V,R)-半群和(V,R)-语言是研究自由半群和形式语言的新理论和新方法。
-
关键词
(V
R)-半群
(V
R)-语言
超图半群
超图语言
无向图语言
有向图语言
正则语言
Rees同余
-
Keywords
(V,R)-semigroup,(V,R)-language,Hypergraph semigroup,Hypergraph language,Undirected graph lan-guage,Digraph language,Regular language,Rees congruence
-
分类号
O152.7
[理学—基础数学]
TP301.2
[自动化与计算机技术—计算机系统结构]
-
