Pages that link to "Item:Q632699"

The following pages link to Finite automata theory with membership values in lattices (Q632699):

Displaying 27 items.

• The universal fuzzy automaton (Q279373) (← links)
• Bisimulations for fuzzy automata (Q423147) (← links)
• Bipolar fuzzy graphs (Q424788) (← links)
• Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
• Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
• A generalization of Myhill-Nerode theorem for fuzzy languages (Q679811) (← links)
• Dynamic logic assigned to automata (Q682633) (← links)
• Lattice-valued finite state machines and lattice-valued transformation semigroups (Q690915) (← links)
• Nondeterministic fuzzy automata (Q712503) (← links)
• Model checking computation tree logic over finite lattices (Q896917) (← links)
• Fuzzy alternating Büchi automata over distributive lattices (Q1678419) (← links)
• Construction of fuzzy automata from fuzzy regular expressions (Q1759725) (← links)
• Fuzzy grammar theory based on lattices (Q1933786) (← links)
• On characterization of fuzzy tree pushdown automata (Q2001163) (← links)
• Conditions for the existence of maximal factorizations (Q2035282) (← links)
• Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders (Q2200645) (← links)
• Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
• The relationships among several forms of weighted finite automata over strong bimonoids (Q2293180) (← links)
• On intuitionistic fuzzy context-free languages (Q2375678) (← links)
• On minimal realization of fuzzy behaviour and associated categories (Q2511455) (← links)
• Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness (Q2658032) (← links)
• On quotients of formal power series (Q2672254) (← links)
• Conversion of fuzzy automata into fuzzy regular expressions using transitive closure (Q2987857) (← links)
• Algebraic and topological structures on factorizations of fuzzy sets1 (Q2988561) (← links)
• ON SOMEWHAT FUZZY AUTOMATA CONTINUOUS FUNCTIONS IN FUZZY AUTOMATA TOPOLOGICAL SPACES (Q4553401) (← links)
• State hyperstructures of tree automata based on lattice-valued logic (Q4553830) (← links)
• Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them (Q6081538) (← links)