Finite automata theory with membership values in lattices
From MaRDI portal
Publication:632699
Recommendations
- Finite automata with membership values in lattices and monadic second-order lattice-valued logic
- scientific article; zbMATH DE number 2094809
- Minimization of lattice finite automata and its application to the decomposition of lattice languages
- Lattices of quantum automata
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
Cites work
- A theory of computation based on quantum logic. I
- Algebraic properties of \(LA\)-languages
- Automata theory based on complete residuated lattice-valued logic
- Automata theory based on complete residuated lattice-valued logic. II
- Automata theory based on quantum logic: reversibilities and pushdown automata
- Automata theory based on quantum logic: Some characterizations
- Determinism and fuzzy automata
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Formal power series and regular operations on fuzzy languages
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Fuzzy regular languages over finite and infinite words
- scientific article; zbMATH DE number 3932372 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 3589732 (Why is no real title available?)
- scientific article; zbMATH DE number 3623470 (Why is no real title available?)
- scientific article; zbMATH DE number 640548 (Why is no real title available?)
- scientific article; zbMATH DE number 3807678 (Why is no real title available?)
- scientific article; zbMATH DE number 1862743 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3254905 (Why is no real title available?)
- scientific article; zbMATH DE number 3311755 (Why is no real title available?)
- Minimization of lattice finite automata and its application to the decomposition of lattice languages
- Notes on automata theory based on quantum logic
- On the definition of a family of automata
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
- The relationships among several types of fuzzy automata
- Weighted automata and weighted logics
Cited in
(44)- Lattices of quantum automata
- Fuzzy alternating Büchi automata over distributive lattices
- Construction of fuzzy automata from fuzzy regular expressions
- Fuzzy grammar theory based on lattices
- On characterization of fuzzy tree pushdown automata
- Conditions for the existence of maximal factorizations
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- Model checking of linear-time properties in multi-valued systems
- The relationships among several forms of weighted finite automata over strong bimonoids
- Minimization of lattice finite automata and its application to the decomposition of lattice languages
- On intuitionistic fuzzy context-free languages
- On minimal realization of fuzzy behaviour and associated categories
- Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness
- On quotients of formal power series
- The universal fuzzy automaton
- Conversion of fuzzy automata into fuzzy regular expressions using transitive closure
- Algebraic and topological structures on factorizations of fuzzy sets
- Finite automata with membership values in lattices and monadic second-order lattice-valued logic
- Products of lattice-valued finite automata
- scientific article; zbMATH DE number 3924681 (Why is no real title available?)
- Automata theory based on lattice-ordered semirings
- Bisimulations for fuzzy automata
- Bipolar fuzzy graphs
- On somewhat fuzzy automata continuous functions in fuzzy automata topological spaces
- State hyperstructures of tree automata based on lattice-valued logic
- Approximating deterministic lattice automata
- scientific article; zbMATH DE number 2094809 (Why is no real title available?)
- Finite automata with membership values in lattices and monadic second-order lattice-valued logic
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- scientific article; zbMATH DE number 7155837 (Why is no real title available?)
- The completely distributive lattice of machine invariant sets of infnite words
- Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them
- Lattice-valued general orthomodular automata
- General-nondeterministic fuzzy pushdown automata and their languages
- Matrix approach to simplification of finite state machines using semi-tensor product of matrices
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- A generalization of Myhill-Nerode theorem for fuzzy languages
- Dynamic logic assigned to automata
- Lattice-valued finite state machines and lattice-valued transformation semigroups
- Deterministic fuzzy two-dimensional on-line tessellation automata and their languages
- Equivalence between an \(\mathcal{L}\)-valued GOA with \(\varepsilon\)-moves and its \(\varepsilon\)-reduction
- Nondeterministic fuzzy automata
- Minimization of states in automata theory based on finite lattice-ordered monoids
- Model checking computation tree logic over finite lattices
This page was built for publication: Finite automata theory with membership values in lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q632699)
