收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

下推自动机的半环方法

麻勇军  
【摘要】: 当今自动机理论及其相关的形式语言的理论得到了高度的发展,由其衍生出的知识也层出不穷。但经典自动机和语言理论也存在某方面的不足,特别是一些证明从数学的角度看仍不够完美,一个典型的例子就是在自动机的理论中,自动机状态转换的描述,仅仅是定义了状态转换,从数学运算的角度看还不够严密。本文在下推自动机概念的基础上给出了其在半环上的定义,下推转换矩阵的引入,使下推自动机的行为和半环代数理论上的等式建立了联系。从而使下推自动的讨论更加简洁。 首先,介绍了课题研究的对象下推自动机的概念、下推自动机的及时描述、下推自动机所接受的语言等相关概念与半环、半模、收敛等概念。并重点讨论了偏序半环和关于偏序半环上等式的一些性质。最后说明了课题实现的具体目标和意义。 接着,引入了与语言理论密切相关的形式幂级数的概念,并将半环的概念转换到形式幂级数,同时在引入矩阵概念的基础上也将半环的概念转移到矩阵,重点证明了布尔形式幂级数矩阵半环和形式幂级数布尔矩阵半环的子半环同构,进一步结合形式幂级数布尔矩阵半环和分块矩阵的相关理论给出了:与矩阵星运算求解相关的线性系统,并证明了线性系统与矩阵星运算相关的一些定理。 最后,提出了语言半环的概念,证明了它和布尔形式幂级数半环是同构的。在语言半环到语言矩阵半环扩展的基础上定义了下推转移矩阵,进而定义了下推自动机和下推自动机行为。特别是下推转换矩阵的引入,通过一系列矩阵半环同构将下推自动机行为的研究转移到布尔形式幂级数矩阵半环上,最终使下推自动机的计算转变为矩阵半环上下推转换矩阵的乘法和加法运算。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 孙志强;刘耀军;;有限自动机的半环方法[J];太原师范学院学报(自然科学版);2009年02期
2 刘红星;李海玲;赵大亮;;分式半环上的同余格[J];山东师范大学学报(自然科学版);2008年03期
3 郑玉美,游松发,江中略;加法可换可消半环的一个结构定理及应用[J];数学进展;1993年04期
4 黄惠玲;谭宜家;;交换半环上矩阵的一个性质[J];宁夏大学学报(自然科学版);2006年01期
5 刘华林,徐德余;半环R上的L-Fuzzy左(右)理想及性质[J];绵阳师范高等专科学校学报;2001年02期
6 李先义,朱德明;非线性递归差分方程的全局渐近稳定性(英文)[J];生物数学学报;2003年01期
7 段俊生,陈占华;有零分配格上矩阵半环的理想格[J];内蒙古工业大学学报(自然科学版);2001年04期
8 杨宗文;杨柱元;李友宝;;大半环子半环的和与积[J];昆明理工大学学报(理工版);2007年06期
9 黄福生;半环和l-环(英文)[J];江西师范大学学报(自然科学版);1994年03期
10 陈桂英;张则增;;半环的次极大理想与次极小理想[J];河南理工大学学报(自然科学版);2008年02期
11 胡静;刘伟;;加法半群为完全正则半群的半环上Green关系[J];高师理科学刊;2009年02期
12 陈艳平;谭宜家;;关于半环上矩阵的加权广义逆[J];福州大学学报(自然科学版);2010年03期
13 张金武;半环嵌入偏序复半环定理[J];湖北大学学报(自然科学版);1991年04期
14 陈卫宏;线性代数重点内容介绍[J];当代电大;1995年08期
15 汤敏;;《线性代数》教学实践与研究[J];湘潭师范学院学报(自然科学版);2006年02期
16 温旭东;;MATLAB与Mathmatica在线性代数运算中的对比分析[J];黑龙江科技信息;2008年03期
17 孟道骥;王立云;;线性代数中的摄动法[J];高等数学研究;2008年01期
18 刘纯英;霍海峰;马战平;;一类四阶时滞差分方程的全局渐近稳定性[J];甘肃科学学报;2008年02期
19 张燕;司海峰;宿敬肖;;关于线性代数学习方法的研究[J];中国校外教育(理论);2008年S1期
20 贾璐;;普通高校“线性代数”教学方法探讨[J];牡丹江教育学院学报;2009年01期
中国重要会议论文全文数据库 前10条
1 陈怀琛;高淑萍;杨威;;科学计算能力的培养与“线性代数”改革[A];中国电子教育学会高教分会2009年论文集[C];2009年
2 陈怀琛;;论工科线性代数的现代化与大众化[A];中国电子教育学会高教分会2011年论文集[C];2011年
3 陈怀琛;;必须摆正《线性代数》课程的指导思想[A];电子高等教育学会2005年学术年会论文集[C];2005年
4 陈怀琛;;关于我校数学教学改革的几点思考[A];电子高等教育学会2007年学术年会论文集[C];2007年
5 谭宏远;;以Mathematica为平台的线性代数实验教学[A];2006“数学技术应用科学”[C];2006年
6 陈怀琛;;从基本教学工具现代化开始——也谈教育现代化[A];电子高等教育学会2008年学术年会论文集[C];2008年
7 王路群;;高校数学教材整合创新的一点尝试[A];高教科研2006(下册:专题研究)[C];2006年
8 许少知;郝建宇;;相对论数学基础考[A];数学·物理·力学·高新技术研究进展——2000(8)卷——中国数学力学物理学高新技术交叉研究会第8届学术研讨会论文集[C];2000年
9 王春江;王人鹏;钱若军;王颖;;矩阵分解技术在体系性态综合分析中的初步应用[A];“力学2000”学术大会论文集[C];2000年
10 孙丽华;赵恩良;靖新;邢双云;;《线性代数》教学方法探讨[A];第八届沈阳科学学术年会论文集[C];2011年
中国博士学位论文全文数据库 前10条
1 舒乾宇;零和自由半环上的一些线性代数问题[D];四川师范大学;2012年
2 王建良;亚对数空间限定多墨水点交替式下推自动机的研究[D];中国海洋大学;2010年
3 Israr Ali Khan(阿里);关于半环上广义逆矩阵以及四元数矩阵方程的若干研究[D];上海大学;2011年
4 张娟娟;从半群的角度出发对半环的若干研究[D];西北大学;2008年
5 张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
6 李平;伪半环及其在自动机理论中的应用[D];陕西师范大学;2010年
7 管雪冲;赋值代数中若干问题的研究[D];陕西师范大学;2011年
8 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年
9 陈益智;半环上矩阵的若干研究[D];西北大学;2012年
10 冯锋;基于软集的不确定理论融合研究[D];陕西师范大学;2012年
中国硕士学位论文全文数据库 前10条
1 麻勇军;下推自动机的半环方法[D];太原科技大学;2009年
2 孙志强;基于半环代数理论的有限自动机的探讨[D];太原科技大学;2009年
3 杨琳;关于一些半环性质的研究[D];西北大学;2010年
4 毛福海;关于几类*-半环的研究[D];西北大学;2010年
5 丰丕虎;关于几类偏序*-半环的研究[D];西北大学;2010年
6 王青茹;关于几类*-半环及其初始半环的研究[D];西北大学;2011年
7 赵春花;关于几类~*-半环及其对偶半环的研究[D];西北大学;2011年
8 王斌;关于几类半环的结构与分解[D];西北大学;2011年
9 吴华军;软半环研究[D];湖北民族学院;2011年
10 雷晓敏;关于几类ω-~*-半环的研究[D];西北大学;2012年
中国重要报纸全文数据库 前10条
1 复旦大学 姚慕生;线性代数备考策略[N];中国教育报;2003年
2 崔彦玲;青洋路高架工程将快速启动[N];常州日报;2009年
3 吴薇 记者 刘若辰;乐山年底开建绕城高速[N];四川日报;2010年
4 本报记者 李哲;北京市纪念建党九十周年活动掀起高潮[N];经济日报;2011年
5 瑾亮;常州高架 环通全城[N];常州日报;2010年
6 理想;LMGU下半环外套圈双列调心滚动轴承的特点[N];中国建材报;2011年
7 通讯员 蔡新宇 王威淇 记者 郑晋鸣;河海大学 “同舟课堂”帮扶学习困难学生[N];光明日报;2008年
8 刘晓华 本报记者 李寒歌;中国古代的蒸煮器——甗[N];咸阳日报;2009年
9 万炳才 林海宇;承特高压输入 保世博会用电[N];华东电力报;2009年
10 记者 刘浪;投资7亿元改造交通[N];重庆日报;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978