免费论文摘要：伪半环及其在自效果表面中的运用

加权有穷自效果是典范的非决定有穷自效果的变化附加上权重，那些权重常常做出一个代数构造  --半环. 取值于半环的加权有穷自效果的表面接洽及本来际运用都仍旧获得了很好的阐明.    迩来，不少作家创造自效果的权重不妨作成更普遍的代数构造--伪半环(也叫作强双半群)，即半环去掉  调配律产生的代数构造. 半环、格半群、完美正交模格都是伪半环的惯例.    Manfred Droste熏陶在他的两篇作品中给出了三种语义下伪加权有穷自效果    ( 也称作强双半群上的加权有穷自效果, 简记为$P-NFA$)所辨别的谈话，并    辨别接洽了伪加权有穷自效果的少许本质及其决定化.     正文进一步接洽   伪加权有穷自效果的其它本质.       正文的重要处事重要有以次几个上面：      (1) 在七种各别语义下，接洽了各典型的伪加权有穷自效果的联系.      开始引见了偏序伪半环、正序伪半环、伪加权子集、伪加权矩阵的观念.   其次，舆论在已有的三种语义普通上减少了四种新的语义，获得了七种语义，   它们辨别是初始代数语义   (${mathcal{I}}$)、   中断代数语义(${mathcal{F}}$)、初始变化语义(${mathcal{IT}}$)、中断变化语义(${mathcal{FT}}$)、   初始搀和语义(${mathcal{IH}}$)、中断搀和语义(${mathcal{FH}}$)、运转语义(${mathcal{R}}$).    引入了左等价、右等价、$M-$右等价、等价、右等价$^{-varepsilon}$、$M-$右等价$^{-varepsilon}$、   等价$^{-varepsilon}$的观念(个中，$emptyseteq Msubset {{mathcal{I}},{mathcal{F}},   {mathcal{IT}},{mathcal{FT}},   {mathcal{IH}},{mathcal{FH}},{mathcal{R}}}$)，运用那些观念，在七种语义下   精细计划了四典型非决定型伪加权有穷自效果$P-NFA_1,P-NFA_2,P-NFA_3,$ $P-NFA_4$之间的联系， 以及三典型决定型伪加权有穷自效果$P-DFA_1, P-DFA_2,P-DFA_3$之间的联系. 获得了完备的论断.  结果，引见了七种语义下伪加权有穷自效果的回转的少许本质.   (2) 接洽了几类带有输入的伪加权有穷自效果的本质.    作品给出了几种罕见的带输入的伪加权有穷自效果，它们辨别是：伪加权变换器、伪加权同步机、  伪加权序列机、伪加权Mealy机、伪加权Moore机. 并给出了伪加权变换器的推迟因变量的实行化、  伪加权变换器的输入因变量及输出因变量的实行化、伪加权变换器的极小决定实行化、  伪加权同步机的单变化实行化; 借助于伪加权序列机，证领会伪加权Mealy机与伪加权Moore机是不等价的.  (3) 接洽了伪加权巨型机的少许本质. 在深度优先和宽窄优先意旨下，开始计划了非决定型伪加权巨型机$P-TM$与带有明显挪动的伪加权 巨型机$P-TM_c$的联系、带有明显挪动的伪加权 巨型机$P-TM_c$与决定型伪加权巨型机$P-DTM$的联系. 证领会$P-TM$与$P-TM_c$不管在深度优先仍旧在 宽窄优先意旨下都是不等价的，但$P$是乘法限制有时艰二者在深度优先意旨下是等价的;  $P-TM_c$与$P-DTM$也是不等价的，以至在$P$是减法限制有时艰，二者也不等价，但当$P$是偏序伪半环时， 动作有限伪加权递归谈话的 辨别器二者又是等价的.   其次计划了伪加权巨型机的通用性. 证领会在$P$有时艰，通用$P-TM$($P-TM_c$)与通用$P-DTM$都是生存的；  当伪半环$P$无穷时， 通用$P-DTM$不生存.

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/247634.html