Pages that link to "Item:Q853474"
From MaRDI portal
The following pages link to Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note (Q853474):
Displaying 50 items.
- Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure (Q279371) (← links)
- Weak bisimulations for fuzzy automata (Q279375) (← links)
- Brzozowski type determinization for fuzzy automata (Q279377) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← 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)
- 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)
- 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)
- 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)
- Fuzzy grammar theory based on lattices (Q1933786) (← links)
- Fuzzy multiset finite automata and their languages (Q1955451) (← links)
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders (Q2200645) (← links)
- Formal power series and regular operations on fuzzy languages (Q2269825) (← links)
- Fuzzy tree language recognizability (Q2270250) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← 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 complete residuated lattice valued tree automata (Q2392561) (← links)
- Determinization of fuzzy automata with membership values in complete residuated lattices (Q2465969) (← links)
- Similarity-based minimization of fuzzy tree automata (Q2634346) (← links)
- GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED (Q4553378) (← links)
- State hyperstructures of tree automata based on lattice-valued logic (Q4553830) (← links)
- ADMISSIBLE PARTITION FOR BL-GENERAL FUZZY AUTOMATON (Q4626609) (← links)
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS (Q4626611) (← links)
- TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES (Q4963107) (← links)
- Lattice-Semigroups Tree Automation’s Congruence and Homomorphism (Q4982152) (← links)
- (Q5077538) (← links)
- Categories of Automata and Languages Based on a Complete Residuated Lattice (Q5874584) (← links)
- Fuzzy pushdown automata (Q5919885) (← links)
- On the category of \(L\)-fuzzy automata, coalgebras and dialgebras (Q6081535) (← links)
- On a factorized \(L\)-fuzzy automaton and its \(L\)-fuzzy topological characterization (Q6081536) (← links)
- On closure properties of \(\mathcal{L}\)-valued linear languages (Q6081537) (← links)
- \(L\)-fuzzy automata theory: some characterizations via general fuzzy operators (Q6588930) (← links)
- On \(L\)-fuzzy automata, coalgebras and dialgebras: associated categories and \(L\)-fuzzy topologies (Q6588931) (← links)