论文摘要
本文主要利用solid码和句法同余研究语言.首先,在l(S)上定义运算*,其中S为字母表A上一 solid码.证明了(l(S),*)为一幺半群,并对其幂等元和正则元进行了刻画.其次,给出简单的新方法证明:由solid码S确定的同余σs为Λ*上的主同余.同时,利用solid码S定义了Λ*上的另外两个同余λS和ρs,并证明它们也是主同余.再次,讨论了稀疏语言与r-析取各层次语言相乘的情况.证明了:若稀疏语言与语言L的乘积为析取(f-析取,t-析取)语言,则L为析取(f-析取,t-析取)语言;用例子说明了:即使稀疏语言与语言L的乘积为i-析取(r-析取)语言,L也未必为i-析取(r-析取)语言.最后,给出了 r-析取语言分解的另一些例子,以及具有稠密-析取性质的半群的刻画.
论文目录
文章来源
类型: 博士论文
作者: 刘祖华
导师: 孙春友,郭聿琦
关键词: 半群,语言,稠密语言,正则语言,析取语言,句法同余
来源: 兰州大学
年度: 2019
分类: 基础科学
专业: 数学
单位: 兰州大学
分类号: O152.7
DOI: 10.27204/d.cnki.glzhu.2019.000086
总页数: 93
文件大小: 2001K
下载量: 20
相关论文文献
- [1].稀疏语言与r-析取语言的连接(英文)[J]. 山东大学学报(理学版) 2019(06)
- [2].0-群码的结构[J]. 玉溪师范学院学报 2013(12)