概率有限自动机积的覆盖性

On covering of products of probabilistic finite automata

提出了概率有限自动机的覆盖的定义,然后利用代数的方法讨论了概率有限自动机的全直积(限制直积)、级联积、圈积、并积的覆盖关系,证明了2个概率有限自动机的级联积(限制直积)覆盖它们的圈积(全直积),概率有限自动机的圈积的全直积覆盖它们的全直积的圈积,给出了概率有限自动机的弱同态与覆盖的关系,研究了概率有限自动机的积的覆盖关系的传递性质.

The concept of covering of probabilistic finite automata was introduced, covering relationship on several kinds of products of probabilistic finite automata, such as full direct product（ restricted direct product）, cascade product, wreath product and join were discussed, it was proved that the cascade product （restricted direct product） of two probabilistic finite automata covered their wreath product（ full direct product）, full direct product of wreath product of probabilistic finite automata covered their wreath product of full direct product, the relations between weak homomorphism of probabilistic finite automata and covering of probabilistic finite automata were given, transitivity of covering of product of probabilistic finite automata were investigated.