ω-语言的析取性.pdfVIP

摘 要 关于有限字语言的析取性已有了丰富的结果，H.J.SHYR教授等也对无限字 语言(即。一语言)的析取性进行了研究.本论文是在SHYR教授等的研究基础上 继续对。一语言上的尸一析取和1一析取进行研究.证明了:L为尸一稠密的当 且仅当L包含尸一析取。一语言;若1一析取山一语言L是L;和场的不交井， 则要么Ll和LZ至少有一个是1一析取。一语言或者Ll和LZ都包含1一析取 ‘一 语言，由此性质进一步得到:不存在极大1一析取和极小1一析取。一语言.为了 进一步研究尸一析取和1一析取 ‘一语言.本论文在第三章引人了尸一析取辖区、 1一析取辖区、P一稠密辖区和1一稠密辖区的概念，并得到以下性质:尸一析取 辖区也是析取辖区;1一析取辖区是稠密的;尸一稠密辖区、1一稠密辖区和稠密 辖区三者是等价的. 关祖字:。一语言;析取;稠密;辖区. Abstract Three rae aotl ofres川tsbauotdijsunc tivitesi of1aJ1ugagesni血ltewro ds， thedjsiunctivitiesof1anugagesininfiniteWOrds(1启 。一lnaugages)rae a】osr-e 朗arcbde勿ProfesosrH.J.SHYRa刀dotl〕ers.Thepurpoesofhtsithessisiasl幻 ottsuyd hte尸一dljsunctvei nadl一djsiunctive少 lnaUgagesb朋de no threi r-e esarc助.从乞ProofthatLsiP一dsnes finadnoylfitiocntal力旧a尸一djsiunc tive ，一lanugage.111一d词unc tvei ‘一lnaugageLsithed幼」iontunlonofL;nadL卜 thenatelats noeofLI即dLZsil一dljsunctvei ‘一lanugageorbothofLI田ld 场ocntainl一dljsunctive 一‘languages.Aftre七batwenac ees that七hree rae no maxll】班lnadnomniimall一djsiunctvei 。一】田lugages.hirodretor“犯arhcthe 尸一dljsunc tiveandl一dijsunctvei ‘一lnagllages，锐 91佣七heofl】owingdefintinosl 尸一djsillnctvei domains，1一djjsunctvei donial朋，尸一denes odmainsandl一denes donlalns，叨dbavehtePropretesi:every尸一djsiunctveidolnainsia胜旧djsiunctive domaln;everyl一djsiunc tiveodmnal side咪 ;尸一山眠 domains，1一denesdom山n扫 anddenesdom山习月rae 阅ulvalent. kyewords:公一lnaugage;侧unc tiviyt;denes;odnnaal . 前 言 字的代数组合这一领域是在数学的几个分支(如数论，群论，概率)上独立发展 出来的.计算机科学理论也经常有她的身影出现.对字的组合特征如周期性和不可 避免模式等进行研究是这一领域主要研究目的之一，字的组合特征与符号动力系统 有密切联系 字的代数组合广泛应用于别的学科(例如语言过程，模式匹配和生物 信息学)，反过来它们又促进其快速发展.Lothaire的书对这一领域进行了系统的 讨论，见 1【01和11].1 自动机理论是在03年代为研究抽象计算机装置由乳dng首次提出的 肠ring 当时提出的目的是为了准确描述计算机器的界限.在40年代和05年代，人们研究 了许多不同种类的自动机 他们起初研究自动机的目的是模仿人脑的功能，却得出 了对文本处理，汇编设计和程序设计语言等极为有用的结果.在05年代，C10nSI材 开始研究形式文法 开启了人们对形式语言的系统研究. 我们今天所知道的形式语言主要研究无限语言的有限表示.形式语言的源泉之 一是数学，特别是组合数学，代数和逻辑学 形式语言是计算机科学的重要工具之 一 研究形式语言主要有两种方法一直接