计算机科学 ›› 2014, Vol. 41 ›› Issue (Z6): 33-36.
师海忠,师越
SHI Hai-zhong and SHI Yue
摘要: V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半群是(V,R)-半群,超图半群把超图理论和自由半群理论联系起来。以此为基础,提出了(V,R)-语言和超图语言两个概念。超图语言把超图理论和形式语言理论联系起来。进而,证明了超图语言、无向图语言和有向图语言都是特殊的(V,R)-语言。第三,证明了无向图语言和有向图语言都是正则语言。这就回答了文献“无向图语言”和“有向图语言”中提出的开问题。(V,R)-半群和(V,R)-语言是研究自由半群和形式语言的新理论和新方法。
[1] Du Ding-zhu,Ko Ker-I.Problem Solving in Automata,Languages and Complexity[M].New York:Wiley& Sons,2001 [2] Hopcroft J,Ullman J.Introduction to Automata Theory,Languages and Computation[M].American:Addison-wesly Publishing Company,1979 [3] 蒋宗礼,姜守旭.形式语言与自动机理论[M].北京:清华大学出版社,2003 [4] Bondy J A,Murty U S R.Graph Theory with Application[M].New York:Elsevier,1976 [5] Howie J M.An Introduction to Semigroup Theory[M].Lon-don:Academic Press,1976 [6] 堵丁柱,师海忠.图的可重构的充要条件[J].科学通报,1997,42(16):1719-1721 [7] 师海忠,祁永谨.图半群[J].西北师范大学学报:自然科学版,1991,27(2):17-23 [8] 师海忠.图半群的度向量[J].西北师范大学学报:自然科学版,1991,27(4):12-14 [9] 师海忠.完全图半群和连通图半群[J].西北师范大学学报:自然科学版,1994,30(4):23-27 [10] 师海忠.无向图语言[J].计算机科学,2011,38(6):259-261,274 [11] 师海忠.有向图语言[J].计算机工程与应用,2011,47(22):53-56 [12] Berge C.超图-有限集的组合学[M].卜月华,张克民,译.南京:东南大学出版社,2002 |
No related articles found! |
|