【摘 要】
：
V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半
【机 构】
：
西北师范大学数学与统计学院,北京工业大学经济与管理学院
论文部分内容阅读
V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半群是(V,R)-半群,超图半群把超图理论和自由半群理论联系起来。以此为基础,提出了(V,R)-语言和超图语言两个概念。超图语言把超图理论和形式语言理论联系起来。进而,证明了超图语言、无向图语言和有向图语言都是特殊的(V,R)-语言。第三,证明了无向图语言和有向图语言都是正则语言。这就回答了文献"无向图语言"
其他文献
我国加入WTO标志着中国经济全面融入全球经济一体化之中,企业面临着新的机遇与挑战.为适应这一新形势,企业纷纷采取措施提高产品质量、扩大市场份额,质量认证就是其中较有实
声像档案是指国家机构、社会组织以及个人在从事各种活动中形成的对国家和社会有保存价值的以感光材料或磁性材料为载体，以影像、声音为主，并辅以文字说明的历史记录，包括照片、
在整个社会进入信息时代的背景下，电子档案的产生无疑对传统的纸质档案管理理论和实践提出了新的巨大挑战。“确保并能够证明文件的真实性、完整性、可靠性和长期有效性，使电子
档案编研工作是系统、广泛、高效的利用档案的手段，是开发档案信息资源的重要形式。我国档案文献编研工作具有悠久的历史，从孔子编订《六书》开始到现在各种编研材料的出现，档案
经过多年技术攻关，我国第一根50km超大长度鱼雷制导光缆在电子八所研制成功。该光缆在长度、机械性能、环境适应性及传输性能等方面达到或超过世界先进水平，外径均匀性接近国际
<正>近日,中国船舶重工集团公司76所(船舶档案馆)被中共陕西省委、省人民政府命名为“陕西省文明单位”称号。这是该所全体干部职工经过十几年的努力,在精神文明创建活动中取
博弈论被广泛应用于描述和解决复杂的主体行为相互作用的决策问题.目前对于非实数值领域的博弈问题,成果很少,故研究支付值为格值类型的二人零和矩阵博弈.基于该类型博弈的特
随着社会信息化进程的加快，计算机在办公领域的普遍应用，政府机关和社会各行业都在积极的创造条件用电子计算机提高工作效率，加快现代化的进程。信息资源已成为人类经济、社会活
生物分子计算在实现上有很多局限性。借鉴了广义图灵模型（Generalized Turing Model,GTM）[1]。该模型是由分子计算粘贴模型与图灵机相结合而得到的,并且已证明可以在多项式时间