Regular model checking is an exploration technique for infinite state systems where spaces are represented as regular languages and transition relations expressed using rational over (or finite) strings. We extend the paradigm to permit use of more powerful relations: class relations, which a strict subset. language monadic second-order logic (MSO) on strings specify such adopt streaming string...

In act theory, Pseudo injective acts and their generalizations are essential. As a result, the purpose of this work is to give generalization pseudo quasi principally specifically small acts. Besides, concept was presented, which can be employed later. If each S-monomorphism from M-cyclic sub-act M\textsubscript{S} N\textsubscript{S} extended S-homomorphism N\textsubscript{S}, An S-act called p...

Let $T=\bigl(\begin{smallmatrix}A&0\U\&B\end{smallmatrix}\bigr)$ be a formal triangular matrix ring, where $A$ and $B$ are rings $U$ is $(B, A)$-bimodule. We prove: (1) If $U\_{A}$ ${B}U$ have finite flat dimensions, then left $T$-module $\bigl(\begin{smallmatrix}M\_1\ M\_2\end{smallmatrix}\bigr){\varphi^{M}}$ Ding projective if only $M\_1$ $M\_2/{\operatorname{im}(\varphi^{M})}$ the morphism $...

Let $R$ be an associative ring with identity. An element $x in R$ is called $mathbb{Z}G$-regular (resp. strongly $mathbb{Z}G$-regular) if there exist $g in G$, $n in mathbb{Z}$ and $r in R$ such that $x^{ng}=x^{ng}rx^{ng}$ (resp. $x^{ng}=x^{(n+1)g}$). A ring $R$ is called $mathbb{Z}G$-regular (resp. strongly $mathbb{Z}G$-regular) if every element of $R$ is $mathbb{Z}G$-regular (resp. strongly $...

In this paper, the concept of k-regular fuzzy matrix as a general- ization of regular matrix is introduced and some basic properties of a k-regular fuzzy matrix are derived. This leads to the characterization of a matrix for which the regularity index and the index are identical. Further the relation between regular, k-regular and regularity of powers of fuzzy matrices are dis- cussed.