Reversible Two-Party Computations
M Kutrib, A Malcher - arXiv preprint arXiv:2309.02747, 2023 - arxiv.org
Deterministic synchronous systems consisting of two finite automata running in opposite
directions on a shared read-only input are studied with respect to their ability to perform …
directions on a shared read-only input are studied with respect to their ability to perform …
Watson-Crick grammar and its label languages
DNA molecules are the building blocks of life. In the last few decades, the fields of
biotechnology and molecular biology have made significant progress. Computer scientists …
biotechnology and molecular biology have made significant progress. Computer scientists …
Watson–Crick quantum finite automata
One-way quantum finite automata are reversible in nature, which greatly reduces its
accepting property. In fact, the set of languages accepted by one-way quantum finite …
accepting property. In fact, the set of languages accepted by one-way quantum finite …
Watson-Crick pushdown automata
K Chatterjee, KS Ray - Kybernetika, 2017 - dml.cz
A multi-head 1-way pushdown automaton with $ k $ heads is a pushdown automaton with $
k $1-way read heads on the input tape and a stack. It was previously shown that the …
k $1-way read heads on the input tape and a stack. It was previously shown that the …
Watson–Crick Jumping Finite Automata: Combination, Comparison and Closure
UK Mishra, K Mahalingam, R Rama - The Computer Journal, 2022 - academic.oup.com
A new model of computation called Watson–Crick jumping finite automata was introduced
by Mahalingam et al., and the authors study the computing power and closure properties of …
by Mahalingam et al., and the authors study the computing power and closure properties of …
[HTML][HTML] On the Languages Accepted by Watson-Crick Finite Automata with Delays
JM Sempere - Mathematics, 2021 - mdpi.com
In this work, we analyze the computational power of Watson-Crick finite automata (WKFA) if
some restrictions over the transition function in the model are imposed. We consider that the …
some restrictions over the transition function in the model are imposed. We consider that the …
State Complexity of Reversible Watson-Crick Automata
Reversible Watson-Crick automata introduced by Chatterjee et. al. is a reversible variant of
an Watson-Crick automata. It has already been shown that the addition of DNA properties to …
an Watson-Crick automata. It has already been shown that the addition of DNA properties to …
Multi-head Watson–Crick automata
K Chatterjee, KS Ray - International Journal of Computer …, 2016 - Taylor & Francis
Inspired by multi-head finite automata and Watson–Crick automata, in this paper, we
introduce a new structure, namely multi-head Watson–Crick automata, where we replace the …
introduce a new structure, namely multi-head Watson–Crick automata, where we replace the …