Some properties of a finite automaton composed of two weakly invertible finite automata with delay 1 are given, where each of those two automata has the output set of each state with the same size. And for a weakly in...Some properties of a finite automaton composed of two weakly invertible finite automata with delay 1 are given, where each of those two automata has the output set of each state with the same size. And for a weakly invertible finite automaton M with delay 2 satisfying the properties mentioned in this paper, two weakly invertible finite automata with delay 1 are constructed such that M is equivalent to a sub-finite-automaton of the composition of those two. So a method to decompose this a kind of weakly invertible finite automata with delay 2 is presented.展开更多
In this paper we obtain a criterion under which the bijectivity of the canonical morphism of a weak Galois extension associated to a weak invertible entwining structure is equivalent to the existence of a strong conne...In this paper we obtain a criterion under which the bijectivity of the canonical morphism of a weak Galois extension associated to a weak invertible entwining structure is equivalent to the existence of a strong connection form. Also we obtain an explicit formula for a strong connection under equivariant projective conditions or under coseparability conditions.展开更多
文摘Some properties of a finite automaton composed of two weakly invertible finite automata with delay 1 are given, where each of those two automata has the output set of each state with the same size. And for a weakly invertible finite automaton M with delay 2 satisfying the properties mentioned in this paper, two weakly invertible finite automata with delay 1 are constructed such that M is equivalent to a sub-finite-automaton of the composition of those two. So a method to decompose this a kind of weakly invertible finite automata with delay 2 is presented.
基金Supported by Ministerio de Educació n, Xunta de Galicia and by FEDER (Grant Nos. MTM2010-15634,MTM2009-14464-C02-01, PGIDT07PXB322079PR)
文摘In this paper we obtain a criterion under which the bijectivity of the canonical morphism of a weak Galois extension associated to a weak invertible entwining structure is equivalent to the existence of a strong connection form. Also we obtain an explicit formula for a strong connection under equivariant projective conditions or under coseparability conditions.
