The following pages link to (Q4791753):
Displaying 50 items.
- Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
- Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure (Q279371) (← links)
- The universal fuzzy automaton (Q279373) (← links)
- Weak bisimulations for fuzzy automata (Q279375) (← links)
- On fuzzy multiset automata (Q295507) (← links)
- Fuzzy local \(\omega\)-systems (Q396705) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- Determinization of fuzzy automata via factorization of fuzzy states (Q508600) (← links)
- Results on the use of category theory for the study of lattice-valued finite state machines (Q508741) (← links)
- Computation tree logic model checking based on possibility measures (Q529055) (← links)
- Nonblocking check in fuzzy discrete event systems based on observation equivalence (Q529370) (← links)
- An improved algorithm for determinization of weighted and fuzzy automata (Q543822) (← links)
- Characterizations of hemirings by \((\in,\in\vee\! q_k)\)-fuzzy ideals. (Q552266) (← links)
- Semigroups characterized by \((\in,\in\vee q_k)\)-fuzzy ideals (Q611482) (← links)
- On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations (Q622073) (← links)
- Finite automata theory with membership values in lattices (Q632699) (← links)
- Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
- Further improvements of determinization methods for fuzzy finite automata (Q679810) (← links)
- A generalization of Myhill-Nerode theorem for fuzzy languages (Q679811) (← links)
- On equality between fuzzy context-free and fuzzy adult 0L languages (Q679812) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Automata theory based on complete residuated lattice-valued logic: Turing machines (Q690917) (← links)
- Nondeterministic fuzzy automata (Q712503) (← links)
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence (Q714871) (← links)
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- A survey on fuzzy relational equations. I: Classification and solvability (Q735225) (← links)
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids (Q812560) (← links)
- On the recognizability of fuzzy languages. II (Q834447) (← links)
- On the computing power of fuzzy Turing machines (Q835106) (← links)
- Approximation of fuzzy context-free grammars (Q845326) (← links)
- On the recognizability of fuzzy languages. I (Q853461) (← links)
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note (Q853474) (← links)
- Regular ordered semigroups in terms of fuzzy subsets (Q854953) (← links)
- Minimization of states in automata theory based on finite lattice-ordered monoids (Q865914) (← links)
- The categories \(L\)-\(\mathbf{Top}_{0}\) and \(L\)-\(\mathbf{Sob}\) as epireflective hulls (Q894525) (← links)
- On aperiodic and star-free formal power series in partially commuting variables (Q927397) (← links)
- Approximation and universality of fuzzy Turing machines (Q954457) (← links)
- Computing behavior of finite fuzzy machines -- algorithm and its application to reduction and minimization (Q955726) (← links)
- \(\mathcal N\)-fuzzy ideals in ordered semigroups (Q963525) (← links)
- Application of the computational theory of perceptions to human gait pattern recognition (Q969109) (← links)
- Myhill-Nerode type theory for fuzzy languages and automata (Q969583) (← links)
- Characterizations of regular semigroups by \((\alpha,\beta)\)-fuzzy ideals (Q980329) (← links)
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization (Q983034) (← links)
- Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
- Weakly regular quantum grammars and asynchronous quantum automata (Q1013764) (← links)
- On the resolution and optimization of a system of fuzzy relational equations with sup-\(T\) composition (Q1028709) (← links)
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata (Q1037929) (← links)
- Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic (Q1037930) (← links)
- Grammar theory based on lattice-ordered monoid (Q1037932) (← links)
- Automata theory based on complete residuated lattice-valued logic: a categorical approach (Q1040923) (← links)
