Classical automata theory cannot deal with the system uncertainty. To deal with the system uncertainty the concept of fuzzy finite automata was proposed. Fuzzy automata can be used in diverse applications such as fault detection, pattern matching, measuring the fuzziness between strings, description of natural languages, neural network, lexical analysis, image processing, scheduling problem and...

The minimization of nondeterministic automata without initial states (developed within a game-theoretic framework in Calude, Calude, Khoussainov [3]) is presented in terms of bisimulations; the minimal automaton is unique up to an isomorphism in case of reversible automata. We also prove that there exists an infinite class of (strongly connected) nondeterministic automata each of which is not b...

research has shown that shift work, in particular night work, can have negative effects on the health, safety and well-being of workers. our study assessed, in a hospital setting, the effects of bright light (bl) on general health and psychological problems during night shift work. in an experimental design, 15 female nurses at a general hospital that located in tehran were exposed to moderate ...

[2] Karsten Lehmann and Rafael Peñaloza. The complexity of computing the behaviour of lattice automata on infinite trees. On the decidability status of fuzzy ALC with general concept inclusions. [4] Stefan Borgwardt and Rafael Peñaloza. Consistency reasoning in lattice-based fuzzy description logics. Context-dependent views to axioms and consequences of semantic web ontologies. Classifying soft...

Classical automata theory can not deal with uncertainty. To deal with uncertainty in system modeling, fuzzy automata come into the existence. Fuzzy automaton depends on membership value. For finding the membership degree of strings in fuzzy automata, the concept of max – min automaton and min – max automaton can be used. Many researchers have used the concept of max – min automaton for finding ...

Fuzzy Cellular Automata (FCA) are special couple map lattices that generalize Boolean cellular automata by allowing continuous values for the cell states. The local transition rule of a FCA is the “fuzzification" of the disjunctive normal form that describes the local function of the corresponding Boolean cellular automata. Recently there has been some interest in elementary Fuzzy cellular auto...

The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. The sets of provable formulas in corresponding inference systems from the point of view of uncertain information can be described by fuzzy filters of those algebraic semantics. Bounded residuated lattice ordered monoids (R`-monoids) are a common generalization of pseudo ...

Some uniform categorical theoretical treatment of automata and lattice-valued fuzzy automata using quantale theory is studied in this paper. First, L-relational sheaves on a monoidM andQ-enriched categories are introduced for quantales L andQ, the equivalence of the corresponding categories are proved next. Then lattice-valued (fuzzy) automata are described by Q-enriched categories. In fact, la...

Simulations and bisimulations between two fuzzy automata over a complete residuated lattice were defined by Ćirić et al. (2012) [7], [8] as relations the sets of states automata. However, they act crisp relationship In particular, if there exists (forward) bisimulation automata, then languages recognized them are crisply equal. Approximate simulations introduced Stanimirović (2022) [36] aim at ...

We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, practical applications being in development in the LogicGuard project [15, 16]. We investigate closure properties of the class of MK-fuzzy languages accepted by MK-fuzzy automata as well as by their deterministic counterp...