取值于賦值幺半群的加權下推自動機的代數性質
發(fā)布時間：2018-10-30 08:27
【摘要】：引入取值于賦值幺半群的加權下推自動機、標準型加權下推自動機的定義,證明了在雙幺賦值幺半群框架下,加權下推自動機與標準型加權下推自動機相互等價,且以終態(tài)方式與以空棧方式識別語言的加權下推自動機能夠識別相同的形式冪級數;在Cauchy雙幺賦值幺半群上,加權上下文無關語言對于和、連接、正克林閉包運算封閉。結果表明加權下推自動機的諸多性質并不依賴于賦值幺半群的分配律和結合律。
[Abstract]:In this paper, we introduce the definition of weighted pushdown automaton and standard type weighted push-down automaton, and prove that the weighted push-down automata is equivalent to the canonical weighted push-down automaton under the framework of double-unvalued monoids. The weighted push-down automata, which uses the final state and the empty stack to recognize language, can recognize the same formal power series. On Cauchy doubly valued monoids, weighted context-independent language pairs are connected, and positive clinker closure operations are closed. The results show that many properties of weighted push-down automata do not depend on the distribution law and associative law of the assignment monoids.
【作者單位】： 陜西師范大學數學與信息科學學院;
【基金】：國家自然科學基金(11401361,11226266) 中央高校基本科研業(yè)務費專項資金(GK201402002) 陜西省教育廳自然科學專項科研計劃(16JK1373)
【分類號】：O152.7
本文編號：2299477
[Abstract]:In this paper, we introduce the definition of weighted pushdown automaton and standard type weighted push-down automaton, and prove that the weighted push-down automata is equivalent to the canonical weighted push-down automaton under the framework of double-unvalued monoids. The weighted push-down automata, which uses the final state and the empty stack to recognize language, can recognize the same formal power series. On Cauchy doubly valued monoids, weighted context-independent language pairs are connected, and positive clinker closure operations are closed. The results show that many properties of weighted push-down automata do not depend on the distribution law and associative law of the assignment monoids.
【作者單位】： 陜西師范大學數學與信息科學學院;
【基金】：國家自然科學基金(11401361,11226266) 中央高校基本科研業(yè)務費專項資金(GK201402002) 陜西省教育廳自然科學專項科研計劃(16JK1373)
【分類號】：O152.7
【相似文獻】
相關期刊論文 前1條
1 彭家寅;Fuzzy下推自動機與Fuzzy上下文無關語言的關系[J];四川師范大學學報(自然科學版);2000年01期
，本文編號：2299477
本文鏈接：http://www.wukwdryxk.cn/kejilunwen/yysx/2299477.html
