Characterization of tree automata based on quantum logic

DOI10.1007/s10773-022-04974-6OpenAlexW4210799552MaRDI QIDQ2113952

M. Ghorani

Publication date: 14 March 2022

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-022-04974-6

zbMATH Keywords

closure propertyKleene theoremquantum regular tree expressionquantum tree automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Cites Work

• Unnamed Item
• Unnamed Item
• Quantum finite automata: advances on Bertoni's ideas
• Automata theory based on quantum logic: Some characterizations
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Subdirect decompositions of lattice effect algebras
• Grammar theory based on quantum logic
• Quantum automata and quantum grammars
• Automata theory based on quantum logic. I
• Characterization of sequential quantum machines
• Coding tree languages based on lattice-valued logic
• Quantum \(\omega\)-automata over infinite words and their relationships
• Characterizations of complete residuated lattice-valued finite tree automata
• Grammatical picture generation. A tree-based approach. With CD-ROM.
• Quantum pushdown automata
• Characterizations of quantum automata
• On characterization of fuzzy tree pushdown automata
• The descriptional power of queue automata of constant length
• XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
• A Kleene theorem for weighted tree automata over distributive multioperator monoids
• Fuzzy tree automata
• Automata theory based on quantum logic: reversibilities and pushdown automata
• Tree acceptors and some of their applications
• A theory of computation based on quantum logic. I
• The logic of quantum mechanics
• Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness
• Characterizations of 1-Way Quantum Finite Automata
• State hyperstructures of tree automata based on lattice-valued logic
• Quantum Pushdown Automata with Garbage Tape
• On the power of two-way multihead quantum finite automata
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Automata theory based on quantum logic. II.