Pages that link to "Item:Q2455592"
From MaRDI portal
The following pages link to Automata theory based on quantum logic: reversibilities and pushdown automata (Q2455592):
Displaying 26 items.
- A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata (Q428877) (← links)
- Computing power of Turing machines in the framework of unsharp quantum logic (Q496026) (← links)
- An improved algorithm for determinization of weighted and fuzzy automata (Q543822) (← links)
- Finite automata theory with membership values in lattices (Q632699) (← links)
- Automata theory based on complete residuated lattice-valued logic: Turing machines (Q690917) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Approximation of fuzzy context-free grammars (Q845326) (← links)
- Myhill-Nerode type theory for fuzzy languages and automata (Q969583) (← links)
- Determinization of weighted finite automata over strong bimonoids (Q991892) (← links)
- Consequences and conjectures in preordered sets (Q991897) (← links)
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata (Q1037929) (← links)
- Error tolerance for the recognition of faulty strings in a regulated grammar using fuzzy sets (Q1615413) (← links)
- Weak QMV algebras and some ring-like structures (Q1701734) (← links)
- A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata'' (Q1759734) (← links)
- Characterization of tree automata based on quantum logic (Q2113952) (← links)
- Hierarchy and equivalence of multi-letter quantum finite automata (Q2271440) (← links)
- On coverings of products of uninitialized sequential quantum machines (Q2323760) (← links)
- Automata theory based on quantum logic: recognizability and accessibility (Q2390829) (← links)
- Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness (Q2658032) (← links)
- WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS (Q2929640) (← links)
- Weak Second‐Order Arithmetic and Finite Automata (Q3287248) (← links)
- FUZZY PREORDERED SET, FUZZY TOPOLOGY AND FUZZY AUTOMATON BASED ON GENERALIZED RESIDUATED LATTICE (Q4553352) (← links)
- New directions in LB-valued general fuzzy automata: A topological view (Q5085010) (← links)
- Bipolar Fuzzy Preorder, Alexandrov Bipolar Fuzzy Topology and Bipolar Fuzzy Automata (Q5874605) (← links)
- Quaternionic quantum automata (Q6114652) (← links)
- Learning quantum finite automata with queries (Q6149966) (← links)