Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556): Difference between revisions

@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2144156859
@@ Property / OpenAlex ID: W2144156859 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5451
@@ Property / arXiv ID: 1102.5451 / rank @@
+Normal rank
@@ Property / cites work @@
+On quotient machines of a fuzzy automaton and the minimal machine
+Normal rank
@@ Property / cites work @@
+Q5312888
@@ Property / cites work: Q5312888 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy equational logic
@@ Property / cites work: Fuzzy equational logic / rank @@
+Normal rank
@@ Property / cites work @@
+A SIMILARITY-BASED GENERALIZATION OF FUZZY ORDERINGS PRESERVING THE CLASSICAL AXIOMS
+Normal rank
@@ Property / cites work @@
+Representations and constructions of similarity-based fuzzy orderings.
+Normal rank
@@ Property / cites work @@
+A compendium of fuzzy weak orders: representations and constructions
+Normal rank
@@ Property / cites work @@
+A formal study of linearity axioms for fuzzy orderings
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite nondeterministic automata: simulation and minimality
+Normal rank
@@ Property / cites work @@
+Mergible states in large NFA
@@ Property / cites work: Mergible states in large NFA / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4454842
@@ Property / cites work: Q4454842 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452062
@@ Property / cites work: Q4452062 / rank @@
+Normal rank
@@ Property / cites work @@
+NFA reduction algorithms by means of regular inequalities
+Normal rank
@@ Property / cites work @@
+Q4540960
@@ Property / cites work: Q4540960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547747
@@ Property / cites work: Q4547747 / 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 @@
+Fuzzy equivalence relations and their equivalence classes
+Normal rank
@@ Property / cites work @@
+Uniform fuzzy relations and fuzzy functions
@@ Property / cites work: Uniform fuzzy relations and fuzzy functions / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization of Fuzzy Automata
@@ Property / cites work: Factorization of Fuzzy Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy relation equations and reduction of fuzzy automata
+Normal rank
@@ Property / cites work @@
+The cutting of compositions
@@ Property / cites work: The cutting of compositions / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy modifiers based on fuzzy relations.
@@ Property / cites work: Fuzzy modifiers based on fuzzy relations. / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for computing bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+From bisimulation to simulation: Coarsest partition problems
+Normal rank
@@ Property / cites work @@
+Q4836218
@@ Property / cites work: Q4836218 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
+Normal rank
@@ Property / cites work @@
+Determinization of fuzzy automata with membership values in complete residuated lattices
+Normal rank
@@ Property / cites work @@
+Fuzzy homomorphisms of algebras
@@ Property / cites work: Fuzzy homomorphisms of algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Myhill-Nerode type theory for fuzzy languages and automata
+Normal rank
@@ Property / cites work @@
+Q4737707
@@ Property / cites work: Q4737707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708581
@@ Property / cites work: Q4708581 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing NFAs by invariant equivalences.
@@ Property / cites work: Reducing NFAs by invariant equivalences. / rank @@
+Normal rank
@@ Property / cites work @@
+Follow automata.
@@ Property / cites work: Follow automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Pattern Matching
@@ Property / cites work: Combinatorial Pattern Matching / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal NFA Problems are Hard
@@ Property / cites work: Minimal NFA Problems are Hard / rank @@
+Normal rank
@@ Property / cites work @@
+On the State Minimization of Nondeterministic Finite Automata
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Diagnosability of fuzzy discrete event systems
@@ Property / cites work: Diagnosability of fuzzy discrete event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838055
@@ Property / cites work: Q3838055 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of states in automata theory based on finite lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control of fuzzy discrete event systems
+Normal rank
@@ Property / cites work @@
+The relationship of controllability between classical and fuzzy discrete-event systems
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Minimization of fuzzy finite automata
@@ Property / cites work: Minimization of fuzzy finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q4256110
@@ Property / cites work: Q4256110 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4519038
@@ Property / cites work: Q4519038 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791753
@@ Property / cites work: Q4791753 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite \(L\)-fuzzy machines.
@@ Property / cites work: Finite \(L\)-fuzzy machines. / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy function as an approximate solution to a system of fuzzy relation equations
+Normal rank
@@ Property / cites work @@
+Solvability and approximate solvability of fuzzy relation equations*
+Normal rank
@@ Property / cites work @@
+System of fuzzy relation equations as a continuous model of IF-THEN rules
+Normal rank
@@ Property / cites work @@
+Congruences and homomorphisms of fuzzy automata
@@ Property / cites work: Congruences and homomorphisms of fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic. II
+Normal rank
@@ Property / cites work @@
+Characterizations of fuzzy finite automata.
@@ Property / cites work: Characterizations of fuzzy finite automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
+Normal rank
@@ Property / cites work @@
+Generalizing the Paige-Tarjan algorithm by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Towards a unified view of bisimulation: A comparative study
+Normal rank
@@ Property / cites work @@
+Resolution of composite fuzzy relation equations
@@ Property / cites work: Resolution of composite fuzzy relation equations / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
+Normal rank
@@ Property / cites work @@
+Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: a categorical approach
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: Pushdown automata
+Normal rank
@@ Property / cites work @@
+Equivalence in automata theory based on complete residuated lattice-valued logic
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a generalized theory of uncertainty (GTU) -- an outline
+Normal rank
@@ Property / cites work @@
+Is there a need for fuzzy logic?
@@ Property / cites work: Is there a need for fuzzy logic? / rank @@
+Normal rank