Decidability of the minimization of fuzzy tree automata with membership values in complete lattices (Q2143812): Difference between revisions

@@ Property / cites work @@
+BL-general fuzzy automata and accept behavior
@@ Property / cites work: BL-general fuzzy automata and accept behavior / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted register automata and weighted logic on data words
+Normal rank
@@ Property / cites work @@
+Fuzzy tree language recognizability
@@ Property / cites work: Fuzzy tree language recognizability / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization algorithm of fuzzy finite automata.
@@ Property / cites work: Minimization algorithm of fuzzy finite automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+New directions in fuzzy automata
@@ Property / cites work: New directions in fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of quantale-valued fuzzy automata: determinization and minimization
+Normal rank
@@ Property / cites work @@
+Fuzzy tree automata
@@ Property / cites work: Fuzzy tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Backward and forward bisimulation minimization of tree automata
+Normal rank
@@ Property / cites work @@
+Q4076799
@@ Property / cites work: Q4076799 / rank @@
+Normal rank
@@ Property / cites work @@
+On characterization of fuzzy tree pushdown automata
+Normal rank
@@ Property / cites work @@
+State hyperstructures of tree automata based on lattice-valued logic
+Normal rank
@@ Property / cites work @@
+TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
+Normal rank
@@ Property / cites work @@
+Characterizations of complete residuated lattice-valued finite tree automata
+Normal rank
@@ Property / cites work @@
+Q2968333
@@ Property / cites work: Q2968333 / rank @@
+Normal rank
@@ Property / cites work @@
+Coding tree languages based on lattice-valued logic
+Normal rank
@@ Property / cites work @@
+Algebraic properties of complete residuated lattice valued tree automata
+Normal rank
@@ Property / cites work @@
+Minimization of states in automata theory based on finite lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+Minimization of lattice finite automata and its application to the decomposition of lattice languages
+Normal rank
@@ Property / cites work @@
+Similarity-based minimization of fuzzy tree automata
+Normal rank
@@ Property / cites work @@
+Multidimensional fuzzy finite tree automata
@@ Property / cites work: Multidimensional fuzzy finite tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking computation tree logic over finite lattices
+Normal rank
@@ Property / cites work @@
+Characterizations of fuzzy finite automata.
@@ Property / cites work: Characterizations of fuzzy finite automata. / rank @@
+Normal rank
@@ Property / cites work @@
+General formulation of sequential machines
@@ Property / cites work: General formulation of sequential machines / rank @@
+Normal rank
@@ Property / cites work @@
+Max-product machines
@@ Property / cites work: Max-product machines / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation of type 2 for BL-general fuzzy automata
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Deterministic Acceptors of Regular Fuzzy Languages
+Normal rank
@@ Property / cites work @@
+A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
+Normal rank
@@ Property / cites work @@
+Equivalence in automata theory based on complete residuated lattice-valued logic
+Normal rank