-
题名(V,R)-语言
被引量：1
- 1
-
-
作者
师海忠
师越
-
机构
西北师范大学数学与统计学院
北京工业大学经济与管理学院
-
出处
《计算机科学》
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
[自动化与计算机技术—计算机系统结构]
-
