【摘要】：引入取值于賦值幺半群的加權(quán)下推自動機、標(biāo)準(zhǔn)型加權(quán)下推自動機的定義,證明了在雙幺賦值幺半群框架下,加權(quán)下推自動機與標(biāo)準(zhǔn)型加權(quán)下推自動機相互等價,且以終態(tài)方式與以空棧方式識別語言的加權(quán)下推自動機能夠識別相同的形式冪級數(shù);在Cauchy雙幺賦值幺半群上,加權(quán)上下文無關(guān)語言對于和、連接、正克林閉包運算封閉。結(jié)果表明加權(quán)下推自動機的諸多性質(zhì)并不依賴于賦值幺半群的分配律和結(jié)合律。
[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.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【基金】：國家自然科學(xué)基金(11401361,11226266) 中央高�；究蒲袠I(yè)務(wù)費專項資金(GK201402002) 陜西省教育廳自然科學(xué)專項科研計劃(16JK1373)
【分類號】：O152.7

【相似文獻(xiàn)】

相關(guān)期刊論文 前1條

1 彭家寅;Fuzzy下推自動機與Fuzzy上下文無關(guān)語言的關(guān)系[J];四川師范大學(xué)學(xué)報(自然科學(xué)版);2000年01期

，

本文編號：2299477