Over-approximating the descendants (successors) of an initial set of terms under a rewrite system is used in reachability analysis. The success of such methods depends on the quality of the approximation. Regular approximations (i.e. those using finite tree automata) have been successfully applied to protocol verification and Java program analysis. In [9, 2], non-regular approximations have bee...

We propose linear systems of hedge language equations (LSH) as a formalism to represent regular hedge languages. These linear systems are suitable for several computations in the algebra of regular hedge languages. We indicate algorithms to translate between representations by hedge automata and LSH, and for the computation of LSH for the intersection, quotient, left and right factors of regula...

In this paper we have defined anti fuzzy interior ideal in semigroups. We characterize regular, intra-regular and left (right) quasi-regular semigroups by the properties of their anti fuzzy ideals, anti fuzzy bi-ideals, anti fuzzy generalized bi-ideals, anti fuzzy interior ideals and anti fuzzy quasi-ideals.

The main goal of this paper is to introduce and study fuzzy multiset regular grammar to show that fuzzy multiset finite automata and fuzzy multiset regular grammars are equivalent. We also study fuzzy multiset linear grammars and fuzzy multiset regular grammars in normal form. Furthermore, we show the equivalence of fuzzy multiset regular grammars, fuzzy multiset left linear grammars, fuzzy mul...

A 6-year-old lactating Holstein cow with a history of repeat breeding syndrome (failed to conceive afterthree artificial inseminations (AI) with fertile semen) was referred to the Veterinary Teaching Hospital of theSchool of Veterinary Medicine, Shiraz University. According to the history, neither abnormal clinical signs,nor uterine discharge had been observed subsequent to AI. The cow had show...

a 6-year-old lactating holstein cow with a history of repeat breeding syndrome (failed to conceive afterthree artificial inseminations (ai) with fertile semen) was referred to the veterinary teaching hospital of theschool of veterinary medicine, shiraz university. according to the history, neither abnormal clinical signs,nor uterine discharge had been observed subsequent to ai. the cow had show...

Abstract We initiate the study of C * -algebras and groupoids arising from left regular representations Garside categories, a notion which originated Braid groups. Every higher rank graph is category in natural way. develop general classification result for closed invariant subspaces our as well criteria topological freeness local contractiveness, properties are relevant structure corresponding...

Many languages, including English and Spanish, feature regular (dance --> danced) and irregular (catch --> caught) inflectional systems. According to psycholinguistic theories, regular and irregular inflections are instantiated either by a single or by two specialized mechanisms. Those theories differ in their assumptions concerning the underlying information necessary for the processing of reg...