Pages that link to "Item:Q2372275"
From MaRDI portal
The following pages link to Minimization of lattice finite automata and its application to the decomposition of lattice languages (Q2372275):
Displayed 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)