加權(quán)正則文法語(yǔ)言

　　正則文法是研究自動(dòng)機(jī)的重要工具。引入取值于賦值幺半群的加權(quán)正則文法、加權(quán)類正則文法的定義，討論了賦值幺半群上加權(quán)正則文法、加權(quán)類正則文法和加權(quán)有限自動(dòng)機(jī)（WFA）的關(guān)系。證明了在賦值幺半群上，已知一個(gè)加權(quán)正則文法或加權(quán)類正則文法，分別存在一個(gè)WFA與之等價(jià)。定義了可分配的賦值幺半群，證明了在可分配的賦值幺半群上已知一個(gè)WFA，存在一個(gè)加權(quán)正則文法和加權(quán)類正則文法與之等價(jià)，即證明了可分配的賦值幺半群上加權(quán)正則文法、加權(quán)類正則文法和WFA在生成語(yǔ)言上等價(jià)，并舉例說(shuō)明了賦值幺半群的可分配性不是已知WFA存在與之等價(jià)的加權(quán)正則文法或加權(quán)類正則文法的必要條件。
?