Partially ordered nondeterministic finite automata (poNFAs) are NFAs whose transition relation induces a partial order on states, that is, for which cycles occur only in the form of self-loops on a single state. A poNFA is universal if it accepts all words over its input alphabet. Deciding universality is PSpace-complete for poNFAs, and we show that this remains true even when restricting to a ...

R is called commuting regular ring (resp. semigroup) if for each x,y $in$ R there exists a $in$ R such that xy = yxayx. In this paper, we introduce the concept of commuting $pi$-regular rings (resp. semigroups) and study various properties of them.

We present sound and complete tableau calculi for the class of regular grammar logics and a class eRG of extended regular grammar logics which contains useful epistemic logics for reasoning about beliefs of agents. Our tableau rules use a special feature called automaton-modal formulae which are similar to formulae of automaton propositional dynamic logic. Our calculi are cut-free and have the ...

We prove that if G and H are primitive strongly regular graphs with the same parameters and φ is a homomorphism from G to H, then φ is either an isomorphism or a coloring (homomorphism to a complete subgraph). Moreover, any such coloring is optimal for G and its image is a maximum clique of H. Therefore, the only endomorphisms of a primitive strongly regular graph are automorphisms or colorings...

we study topological von neumann regularity and principal von neumann regularity of banach algebras. our main objective is comparing these two types of banach algebras and some other known banach algebras with one another. in particular, we show that the class of topologically von neumann regular banach algebras contains all $c^*$-algebras, group algebras of compact abelian groups and cer...

We show that each of the classes of hereditarily locally connected, finitely Suslinian, and Suslinian continua is Π1-complete, while the class of regular continua is Π4-complete.

Introduction. The concept of a local ring was introduced by Krull [7](1), who defined such a ring as a commutative ring 9î in which every ideal has a finite basis and in which the set m of all non-units is an ideal, necessarily maximal. He proved that the intersection of all the powers of m is the zero ideal. If the powers of m are introduced as a system of neighborhoods of zero, then 3Î thus b...

‎Let $R$ be a commutative ring with non-zero identity. ‎We describe all $C_3$‎- ‎and $C_4$-free intersection graph of non-trivial ideals of $R$ as well as $C_n$-free intersection graph when $R$ is a reduced ring. ‎Also, ‎we shall describe all complete, ‎regular and $n$-claw-free intersection graphs. ‎Finally, ‎we shall prove that almost all Artin rings $R$ have Hamiltonian intersection graphs. ...