To deal with system uncertainty, finite automata have been generalized into fuzzy automata. Stamenkovic and Ciric proposed an approach using the position automata for the construction of fuzzy automata from fuzzy regular expressions. There exist multifarious methodologies for the construction of finite automata from regular expressions known as Thompson construction, Antimirov partial derivativ...

Some fixed point convergence properties are proved for compact and demicompact maps acting over closed, bounded and convex subsets of a real Hilbert space. We also show that for a generalized nonexpansive mapping in a uniformly convex Banach space the Ishikawa iterates converge to a fixed point. Finally, a convergence type result is established for multivalued contractive mappings acting on clo...

Given an infinite Boolean algebra B, we find a natural class of ∅-definable equivalence relations EB such that every imaginary element from B is interdefinable with an element from a sort determined by some equivalence relation from EB . It follows that B together with the family of sorts determined by EB admits elimination of imaginaries in a suitable multisorted language. The paper generalize...

In this paper, we introduce a new class of nonsmooth pseudo-invex and nonsmooth quasi-invex functions to non-smooth variational problems. By using these concepts, numbers of necessary and sufficient conditions are established for a nonsmooth variational problem wherein Clarke’s generalized gradient is used. Also, weak, strong and converse duality are established. Keywords—Variational problem; N...

an ideal i of a ring r is called right baer-ideal if there exists an idempotent e 2 r such that r(i) = er. we know that r is quasi-baer if every ideal of r is a right baer-ideal, r is n-generalized right quasi-baer if for each i e r the ideal in is right baer-ideal, and r is right principaly quasi-baer if every principal right ideal of r is a right baer-ideal. therefore the concept of baer idea...

Abstract In this paper, we introduce two new concepts of F -contraction, called dual $F^{*}$ F ∗ -weak contraction and triple contraction, which generalize the existing contractions in sense Wardowski, Jleli Samet as well Skof. These generalizations embed their roots ai...

In recent time, fixed point theory has been developed rapidly in partially ordered metric space. Bhaskar and Lakshmikantham (2006) introduced the concept of mixed monotone property. Lakshmikanthem and Ciric (2009) generalized the concept of mixed monotone mapping and proved a common coupled fixed point theorem. In this paper, we find a new type of contractive condition on Gmetric spaces also th...