English
Related papers

Related papers: Non-regular unary language and parallel communicat…

200 papers

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

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

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

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

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

In this paper, we discuss the computational power of parallel communicating finite automata system with 1-way reversible finite automaton as components. We show that unlike the multi-head one way reversible finite automata model (where we…

Formal Languages and Automata Theory · Computer Science 2019-03-26 Debayan Ganguly , Kingshuk Chatterjee , Kumar Sankar Ray

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

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

A two-way deterministic finite state automaton with one counter (2D1CA) is a fundamental computational model that has been examined in many different aspects since sixties, but we know little about its power in the case of unary languages.…

Formal Languages and Automata Theory · Computer Science 2014-07-09 Marzio De Biasi , Abuzer Yakaryilmaz

Watson-Crick (WK) finite automata are working on a Watson-Crick tape, that is, on a DNA molecule. Therefore, it has two reading heads. While in traditional WK automata both heads read the whole input in the same physical direction, in…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Benedek Nagy , Shaghayegh Parchami , Hamid Mir-Mohammad-Sadeghi

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

The minimum amount of resources to recognize a nonregular language is a fundamental research topic in theoretical computer science which has been examined for different kinds of resources and many different models. In this note, we focus on…

Computational Complexity · Computer Science 2013-09-25 Abuzer Yakaryilmaz

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

Despite the promising results of current cross-lingual models for spoken language understanding systems, they still suffer from imperfect cross-lingual representation alignments between the source and target languages, which makes the…

Computation and Language · Computer Science 2020-10-01 Zihan Liu , Genta Indra Winata , Peng Xu , Zhaojiang Lin , Pascale Fung

Automata admitting at most one accepting run per structure, known as unambiguous automata, find applications in verification of reactive systems as they extend the class of deterministic automata whilst maintaining some of their desirable…

Formal Languages and Automata Theory · Computer Science 2026-03-03 Anton Chernev , Corina Cîrstea , Helle Hvid Hansen , Clemens Kupke

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 reversible computations, which means that the automata are…

Formal Languages and Automata Theory · Computer Science 2023-09-07 Martin Kutrib , Andreas Malcher

We present several new results on minimal space requirements to recognize a nonregular language: (i) realtime nondeterministic Turing machines can recognize a nonregular unary language within weak $\log\log n$ space, (ii) $\log\log n$ is a…

Formal Languages and Automata Theory · Computer Science 2015-08-05 Zuzana Bednárová , Viliam Geffert , Klaus Reinhardt , Abuzer Yakaryilmaz

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

In this work, we explore the concept of Watson-Crick conjugates, also known as $\theta$-conjugates (where $\theta$ is an antimorphic involution), of words and languages. This concept extends the classical idea of conjugates by incorporating…

Formal Languages and Automata Theory · Computer Science 2025-09-03 Kalpana Mahalingam , Anuran Maity

Improving the previously known best bound, we show that any recursively enumerable language can be generated with a non-returning parallel communicating (PC) grammar system having six context-free components. We also present a non-returning…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Erzsébet Csuhaj-Varjú , György Vaszil
‹ Prev 1 2 3 10 Next ›