Pages that link to "Item:Q865962"
From MaRDI portal
The following pages link to Automata theory based on complete residuated lattice-valued logic (Q865962):
Displaying 50 items.
- 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)
- Brzozowski type determinization for fuzzy automata (Q279377) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- Determinization of fuzzy automata via factorization of fuzzy states (Q508600) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Automata theory based on quantum logic: Some characterizations (Q598192) (← 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)
- Further improvements of determinization methods for fuzzy finite automata (Q679810) (← 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)
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids (Q812560) (← links)
- Regular grammars with truth values in lattice-ordered monoid and their languages (Q816869) (← links)
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note (Q853474) (← links)
- Minimization of states in automata theory based on finite lattice-ordered monoids (Q865914) (← links)
- Myhill-Nerode type theory for fuzzy languages and automata (Q969583) (← 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)
- 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)
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency (Q1043325) (← links)
- Characterizations of fuzzy finite automata. (Q1426246) (← links)
- Fuzzy alternating Büchi automata over distributive lattices (Q1678419) (← links)
- Coding tree languages based on lattice-valued logic (Q1701899) (← links)
- Construction of fuzzy automata from fuzzy regular expressions (Q1759725) (← links)
- Characterizations of complete residuated lattice-valued finite tree automata (Q1759726) (← links)
- A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata'' (Q1759734) (← links)
- A probabilistic model of computing with words (Q1776375) (← links)
- A categorical approach to minimal realization for a fuzzy language (Q1795371) (← links)
- Fuzzifying topological linear spaces (Q1887100) (← links)
- Fuzzy grammar theory based on lattices (Q1933786) (← links)
- Fuzzy automata based on lattice-ordered monoid with algebraic and topological aspects (Q1937917) (← links)
- Conditions for the existence of maximal factorizations (Q2035282) (← links)
- Categories of quantale-valued fuzzy automata: determinization and minimization (Q2053055) (← links)
- On \(L^M\)-valued automata: an operator oriented view (Q2053302) (← links)
- Interval type-2 fuzzy automata and interval type-2 fuzzy grammar (Q2142536) (← links)
- On typical hesitant fuzzy automata (Q2153652) (← links)
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders (Q2200645) (← links)
- The relationships among several forms of weighted finite automata over strong bimonoids (Q2293180) (← links)
- Canonization of max-min fuzzy automata (Q2329102) (← links)
- Construction of a minimal realization and monoid for a fuzzy language: a categorical approach (Q2354210) (← links)
- Equivalence in automata theory based on complete residuated lattice-valued logic (Q2372274) (← links)
- On intuitionistic fuzzy context-free languages (Q2375678) (← links)
- Algebraic properties of \(L\)-fuzzy finite automata (Q2446399) (← links)