基于完备伪半环的下推自动机的性质

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:drrrrr123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
加权下推自动机是经典下推自动机的转移函数、初状态和终状态取值于半环的一类下推自动机.本文研究取值于完备伪半环的下推自动机的性质,分别讨论基于完备伪半环P的以空栈接受语言的下推自动机(简记为P-WPDA(?))和以终态接受语言的下推自动机(简记为P-WPDAF)的性质.本文先将伪加权下推自动机进行分类.根据初状态是否分明确定将P-WPDA(?)分为1型P-WPDA(?)和2型P-WPDA(?).根据初状态和终状态是否分明确定将P-WPDAF 分为 1 型P-WPDAF,2型P-WPDAF,3型P-WPDAF 和4型P-WPDAF.并且讨论了它们的计算能力,得到了 1型P-WPDA(?)和2型P-WPDA(?)计算能力相同,1 型P-WPDAF,2型P-WPDAF,3 型P-WPDAF和4型P-WPDAF 计算能力相同.接着本文通过文法间接研究了空转移对伪加权下推自动机计算能力的影响.得到如下结论:(1)若P是一个乘法幂等的交换完备伪半环.对任意的P-WPDA(?) N,存在不带空转移的P-WPDA(?) N’,使得对任意的θ ∈ ∑+,有‖N‖(θ)=‖N’‖(θ).(2)若P是一个乘法幂等的交换完备伪半环.对任意的P-WPDAFM,存在只在最后有一个空转移的P-WPDAF M’,使得对任意的θ ∈ ∑+,有‖M’‖(θ)=‖M‖(θ).本文最后讨论了删除空转移的算法.首先根据推入的栈符号将空转移分为两种类型:一种是推入的栈符号不是空串,记为1-型空转移;另一种是推入的栈符号是空串,记为2-型空转移.先给出两个算法删除P-WPDA(?)和P-WPDAF中的1-型空转移.得到:(1)对于只包含1-型空转移的P-WPDA(?) N,存在不带空转移的P-WPDA(?) N’,使得N’和N等价.(2)对于只包含1-型空转移的P-WPDAFM,存在不带空转移的P-WPDAF M’,使得M’和M等价.再给出一个算法删除只包含2-型空转移的P-WPDA(?)中的空转移并且证明若P是一个交换的完备伪半环,对于任意的只包含2-型空转移的P-WPDA(?) N,存在不带空转移的P-WPDA(?) N’,使得若忽略空串ε,N’和N等价.同时给出了间接删除只包含2-型空转移的P-WPDAF中的空转移的方法.最后,对于一个P-WPDA(?),如果同时存在1-型空转移和2-型空转移,本文给出一个算法先将其中的2-型空转移删除,再利用前面已给出的算法删除1-型空转移.并通过具体的例题作为算法的应用.
其他文献
针对原有直流稳压电源只能线性调节、线下使用的缺点,设计了可远程控制的直流稳压电源。基于物联网和嵌入式技术,通过MQTT协议对电源进行实时控制,由STM32高性能处理器和运算放大器TLV1805等器件组成控制电路,实现输出电压的步进调节。测试结果表明,该电源精度高、纹波小、操作简单,能够满足线上线下实验教学的需求,提高仪器设备的智能化水平。
期刊
线性稳压电源的高工作效率与低纹波是其所具备的优点之一。通过对比分析提出一种采用分立元件设计线性稳压电源的改进方案。该方案选定工频变压器实现对220V的交流电变压,选用桥式整流电路和电容滤波电路实现电路的整流和滤波。在稳压电路中取样电路通过取样电阻实现取样;基准电压通过TL431与分压电阻分压提供;误差放大电路采用LM358双运算放大器放大并采用两个功率管进行电压的调整。通过最终电路的仿真和硬件的反
期刊
传统教育评价主要依赖章节测验、期中期末考试以及中考高考总分来笼统地评价学生,忽略了学生间的差异性,不利于教师对学生开展针对性的补救教学。基于认知诊断理论编制测试卷并进行测试,能有效诊断学生的认知结构,既能测试学生的整体水平,也能了解各个学生的具体知识点掌握情况,实现宏观与微观相结合。在众多认知诊断模型中,DINA模型(deterministic inputs,noisy and gate mode
学位
高中文言文作为高中语文教学的重难点,一直以来也没有很好的突破口,反而随着学生对课程趣味性、活动性与思维性要求的日益变高而显得愈发难以驾驭。究其原因,从客观层面讲,自然人文环境的变迁、古今思维方式的差异、语言系统的巨大改变等都使学生在学习文言文时阻碍重重;主观层面而言,文言文教学任务繁重、教学目标“均而不优”、教学设计脱离学情等都意味着高中语文教师在文言文教学领域还有极大进步空间。笔者依据《普通高中
学位
近年来,人工智能逐渐被市场宣传为全知全能的治理术而投入到智慧城市的建设浪潮中。本文聚焦于此话语谱系中最流行的应用"城市大脑",从技术、社会、主体性三个层次阐释了智能化治理下所隐藏的社会风险。首先,城市大脑依赖的深度学习实际上是一种应用导向型的求解系统,其逻辑与人类智能不可通约,此中的技术缺陷会在城市治理语境下被放大。再者,雅各布斯的城市规划理念有助于反向映衬出智能化治理消解城市非正式联结网络、地方
期刊
数学运算能力是数学的一种核心能力,很早就被提出,但此前一直被忽略。近年来,人们对此日益重视。高考历来很重视考查学生们数学运算能力,对于高三的学生更是很重要,学生在考试中因欠缺数学运算能力而扣分的情况非常多,因此了解学生在高中阶段的数学运算能力培养过程中出现的问题并且提出相对应的培养策略成为当下研究的重中之重。本文的研究方法采用的是文献法、问卷法和分析法,分三个阶段进行:(1)结合对参考文献的整理总
学位
深度学习与翻转课堂的融合一直深受国内外学者的关注,随着知识激增、信息技术的快速发展,深度学习和翻转课堂已深入到人们生活的方方面面。与此同时,课程改革也对一线教师提出了一定的要求,培养学生要从关键能力到核心素养的发展,这些时代特征,致使教育正经历着全面而深刻的改革,即从“以教为中心”的教育范式向“以学为中心”的新教育范式转变。此外,人们的学习方式、思维等都发生着巨大的变化,传统数学课堂教学仅停留在对
学位
指数和作为数论的重要研究对象之一,备受众多数论学者的关注.广义Kloosterman和与Gauss和作为两类特殊的指数和,具有一些良好的性质.对广义Kloosterman和的上界研究是解析数论中一个经典的问题.虽然这类和式单个上界难以估计,但是它具有良好的均值分布规律.因此我们将从求均值的角度来探索广义Kloosterman和的性质.此外,k次剩余的分布性质在数论中,尤其是组合数论中具有重要应用.
学位
令H为无限维复可分的Hilbert空间,B(H)为H上的有界线性算子全体.对T ∈B(H),σ(T)和σw(T)分别表示T的谱集和Weyl谱,N(T)表示T的零空间.若σ(T)\σw(T)(?)π00(T),称T满足Browder定理,其中π00(T)={λ ∈ isoσ(T):0<dimN(T-λI)<∞}.若σ(T)\σw(T)=π00(T),称T满足Weyl定理.本文利用新定义的谱集及算子的
学位
随着“双减”政策的落地,许多教育工作者都开始对“双减”政策的总体思路、总体目标以及具体落实策略开展了深入的研究。“双减”所减轻的是学生的学习压力,对老师们而言,不减责任,不减成长,反而需要我们更多地探索,怎样进行高效保质的课堂教学,减轻学生数学学习难度,从而提升课堂教学效果。在认知负荷理论指导下,通过促进GeoGebra软件和数学课程深度融合,可以有效减轻学生的学习压力,改进高中数学课堂结构,优化
学位