Pages that link to "Item:Q2372275"

The following pages link to Minimization of lattice finite automata and its application to the decomposition of lattice languages (Q2372275):

Displaying 35 items.

• The universal fuzzy automaton (Q279373) (← links)
• Brzozowski type determinization for fuzzy automata (Q279377) (← links)
• Bisimulations for fuzzy automata (Q423147) (← links)
• Finite automata theory with membership values in lattices (Q632699) (← links)
• A generalization of Myhill-Nerode theorem for fuzzy languages (Q679811) (← links)
• Fuzzy alternating automata over distributive lattices (Q781276) (← links)
• A note on cut-worthiness of recognizable tree series (Q835283) (← links)
• Weighted finite automata over strong bimonoids (Q845343) (← links)
• Computing behavior of finite fuzzy machines -- algorithm and its application to reduction and minimization (Q955726) (← 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)
• Grammar theory based on lattice-ordered monoid (Q1037932) (← 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 categorical approach to minimal realization for a fuzzy language (Q1795371) (← links)
• Categories of quantale-valued fuzzy automata: determinization and minimization (Q2053055) (← links)
• Decidability of the minimization of fuzzy tree automata with membership values in complete lattices (Q2143812) (← links)
• Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures (Q2219195) (← links)
• Formal power series and regular operations on fuzzy languages (Q2269825) (← links)
• Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
• Algebraic properties of complete residuated lattice valued tree automata (Q2392561) (← links)
• Algebraic properties of \(L\)-fuzzy finite automata (Q2446399) (← links)
• Determinization of fuzzy automata with membership values in complete residuated lattices (Q2465969) (← links)
• Fuzzy identities with application to fuzzy semigroups. (Q2629876) (← links)
• Fuzzy \(\varepsilon\)-subgroups. (Q2638198) (← links)
• On minimal realization for a fuzzy language and Brzozowski’s algorithm (Q2987837) (← links)
• Minimal realization for fuzzy behaviour: A bicategory-theoretic approach (Q2988610) (← links)
• State hyperstructures of tree automata based on lattice-valued logic (Q4553830) (← links)
• TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS (Q4626611) (← links)
• (Q5212270) (← links)
• Minimizing Deterministic Lattice Automata (Q5892175) (← links)
• On closure properties of \(\mathcal{L}\)-valued linear languages (Q6081537) (← links)
• Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them (Q6081538) (← links)