English
Related papers

Related papers: A New Sensing 5'-->3' Watson-Crick Automata Concep…

200 papers

Watson-Crick (WK) finite automata are working on a Watson-Crick tape, that is, on a DNA molecule. A double stranded DNA molecule contains two strands, each having a 5' and a 3' end, and these two strands together form the molecule with the…

Formal Languages and Automata Theory · Computer Science 2022-09-01 Benedek Nagy

Watson-Crick (WK) finite automata work on a Watson-Crick tape representing a DNA molecule. They have two reading heads. In 5'->3' WK automata, the heads move and read the input in opposite physical directions. In this paper, we consider…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Benedek Nagy

Inspired by multi-head finite automata and Watson-Crick automata in this paper, we introduce new structure namely multi-head Watson-Crick automata where we replace the single tape of multi-head finite automaton by a DNA double strand. The…

Formal Languages and Automata Theory · Computer Science 2015-12-10 Kingshuk Chatterjee , Kumar Sankar Ray

1-way quantum finite automata are deterministic and reversible in nature, which greatly reduces its accepting property. In fact the set of languages accepted by 1-way quantum finite automata is a proper subset of regular languages. In this…

Formal Languages and Automata Theory · Computer Science 2015-12-10 Kingshuk Chatterjee , Kumar Sankar Ray

Watson-Crick automata are finite automata working on double strands. Extensive research work has already been done on non-deterministic Watson-Crick automata and on deterministic Watson-Crick automata. In this paper, we introduce a new…

Formal Languages and Automata Theory · Computer Science 2015-12-10 Kingshuk Chatterjee , Kumar Sankar Ray

Linear automata are automata with two reading heads starting from the two extremes of the input, are equivalent to 5' -> 3' Watson-Crick (WK) finite automata. The heads read the input in opposite directions and the computation finishes when…

Formal Languages and Automata Theory · Computer Science 2025-07-22 Benedek Nagy

Watson-Crick quantum finite automata were introduced by Ganguly et.al. by combining properties of DNA and Quantum automata. In this paper we introduce a multi-head version of the above automaton. We further show that the multi-head variant…

Formal Languages and Automata Theory · Computer Science 2020-05-21 Debayan Ganguly , Kingshuk Chatterjee , Kumar Sankar Ray

In this paper, we show the all final subclass of two-way Watson-Crick automata have the same computational power as the classical two-way Watson-Crick automata. Here we compare the computational power of two-way Watson-Crick automata and…

Formal Languages and Automata Theory · Computer Science 2020-05-18 Debayan Ganguly , Kingshuk Chatterjee , Kumar Sankar Ray

In this paper, we introduce a new model of deterministic Watson-Crick automaton namely restricted deterministic Watson- Crick automaton which is a deterministic Watson-Crick automaton where the complementarity string in the lower strand is…

Formal Languages and Automata Theory · Computer Science 2016-02-19 Kingshuk Chatterjee , Kumar Sankar Ray

In this paper, we have introduced the deterministic variant of parallel communicating Watson-Crick automata systems. We show that similar to the non-deterministic version, the deterministic version can also recognise some non-regular…

Formal Languages and Automata Theory · Computer Science 2015-07-21 Kingshuk Chatterjee , Kumar Sankar Ray

The present paper introduces and studies an alternative concept of two-way finite automata called input-erasing two-way finite automata. Like the original model, these new automata can also move the reading head freely left or right on the…

Formal Languages and Automata Theory · Computer Science 2025-04-03 Alexander Meduna , Dominik Nejedlý , Zbyněk Křivka

A three-way (resp., two-way) two-dimensional automaton has a read-only input head that moves in three (resp., two) directions on a finite array of cells labelled by symbols of the input alphabet. Restricting the input head movement of a…

Formal Languages and Automata Theory · Computer Science 2021-05-05 Taylor J. Smith , Kai Salomaa

In 2006, Czeizler et.al. introduced parallel communicating Watson-Crick automata system. They showed that parallel communicating Watson-Crick automata system can accept the non-regular unary language L={a^(n^2 ),where n>1} using…

Formal Languages and Automata Theory · Computer Science 2015-10-08 Kingshuk Chatterjee , Kumar Sankar Ray

We generalize the concept of synchronizing words for finite automata, which map all states of the automata to the same state, to deterministic visibly push-down automata. Here, a synchronizing word w does not only map all states to the same…

Formal Languages and Automata Theory · Computer Science 2020-07-20 Henning Fernau , Petra Wolf

This paper focuses on Watson-Crick languages inspired by DNA computing, their models, and algorithms for deciding the language membership. It analyzes a recently introduced algorithm called WK-CYK and introduces a state space search…

Formal Languages and Automata Theory · Computer Science 2022-09-09 Jan Hammer , Zbyněk Křivka

We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In…

Formal Languages and Automata Theory · Computer Science 2016-06-29 Tomoyuki Yamakami

The integration of syntactic structures into Transformer machine translation has shown positive results, but to our knowledge, no work has attempted to do so with semantic structures. In this work we propose two novel parameter-free methods…

Computation and Language · Computer Science 2022-09-08 Aviv Slobodkin , Leshem Choshen , Omri Abend

Speech recognition in mixed language has difficulties to adapt end-to-end framework due to the lack of data and overlapping phone sets, for example in words such as "one" in English and "w\`an" in Chinese. We propose a CTC-based end-to-end…

Computation and Language · Computer Science 2018-10-31 Genta Indra Winata , Andrea Madotto , Chien-Sheng Wu , Pascale Fung

A typewriter automaton is a special variant of a two-dimensional automaton that receives two-dimensional words as input and is only capable of moving its input head through its input word in three directions: downward, leftward, and…

Formal Languages and Automata Theory · Computer Science 2022-07-21 Taylor J. Smith

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 reversible automata significantly increases the…

Formal Languages and Automata Theory · Computer Science 2020-05-21 Kingshuk Chatterjee , Debayan Ganguly , Kumar Sankar Ray
‹ Prev 1 2 3 10 Next ›