Solid码与r-析取语言

Solid码与r-析取语言

论文摘要

本文主要利用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-析取语言分解的另一些例子,以及具有稠密-析取性质的半群的刻画.

论文目录

  • 中文摘要
  • 英文摘要
  • 第一章 绪论与预备知识
  •   1.1 研究背景及研究结果
  •   1.2 预备知识
  •     1.2.1 (幺)半群与语言
  •     1.2.2 左右商与句法同余
  • 第二章 Solid码确定的一类幺半群
  •   2.1 Solid码简介
  •   2.2 幺半群(l(S),*)
  •   2.3 幺半群(l(S),*)上的幂等元与正则元
  • 第三章 Solid码确定的三个主同余
  • s'>  3.1 Solid码S确定的主同余σs
  • s'>  3.2 Solid码S确定的主同余λs
  • s'>  3.3 Solid码S确定的主同余ρs
  • 第四章 关于r-析取语言的一些研究
  •   4.1 r-析取语言的层次
  •   4.2 r-析取语言的分解-关于连接运算
  •   4.3 r-析取语言的分解-关于并运算
  • 第五章 关于析取的几点注记
  •   5.1 关于语言析取性的几点注记
  •   5.2 关于析取子集的几点注记
  • 后记
  • 参考文献
  • 攻读博士学位期间完成的成果
  • 致谢
  • 文章来源

    类型: 博士论文

    作者: 刘祖华

    导师: 孙春友,郭聿琦

    关键词: 半群,语言,稠密语言,正则语言,析取语言,句法同余

    来源: 兰州大学

    年度: 2019

    分类: 基础科学

    专业: 数学

    单位: 兰州大学

    分类号: O152.7

    DOI: 10.27204/d.cnki.glzhu.2019.000086

    总页数: 93

    文件大小: 2001K

    下载量: 20

    相关论文文献

    • [1].稀疏语言与r-析取语言的连接(英文)[J]. 山东大学学报(理学版) 2019(06)
    • [2].0-群码的结构[J]. 玉溪师范学院学报 2013(12)

    标签:;  ;  ;  ;  ;  ;  

    Solid码与r-析取语言
    下载Doc文档

    猜你喜欢