Automata theory based on quantum logic. I
From MaRDI portal
Publication:1586380
DOI10.1023/A:1003642222321zbMath0962.03029MaRDI QIDQ1586380
Publication date: 25 February 2001
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Related Items
LOGICS FROM QUANTUM COMPUTATION, A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata, Computing power of Turing machines in the framework of unsharp quantum logic, An improved algorithm for determinization of weighted and fuzzy automata, Weighted automata and multi-valued logics over arbitrary bounded lattices, Model checking computation tree logic over finite lattices, Myhill-Nerode type theory for fuzzy languages and automata, Determinization of weighted finite automata over strong bimonoids, Weak QMV algebras and some ring-like structures, A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata, On intuitionistic fuzzy context-free languages, Automata theory based on quantum logic: recognizability and accessibility, Finite state and finite stop quantum languages, A theory of computation based on quantum logic. I, LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS, WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS, QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS