English
Related papers

Related papers: 5' -> 3' Watson-Crick Automata accepting Necklaces

200 papers

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

We contribute to the study of formal languages that can be recognized by transformer encoders. We focus on two self-attention mechanisms: (1) UHAT (Unique Hard Attention Transformers) and (2) AHAT (Average Hard Attention Transformers). UHAT…

Formal Languages and Automata Theory · Computer Science 2023-10-09 Pablo Barcelo , Alexander Kozachinskiy , Anthony Widjaja Lin , Vladimir Podolskii

Valence automata are a generalization of various models of automata with storage. Here, each edge carries, in addition to an input word, an element of a monoid. A computation is considered valid if multiplying the monoid elements on the…

Formal Languages and Automata Theory · Computer Science 2013-06-19 P. Buckheister , Georg Zetzsche

We construct a hierarchy of regular languages such that the current language in the hierarchy can be accepted by 1-way quantum finite automata with a probability smaller than the corresponding probability for the preceding language in the…

Quantum Physics · Physics 2007-05-23 Andris Ambainis , Richard Bonner , Rusins Freivalds , Arnolds Kikusts

To each one-dimensional subshift $X$, we may associate a winning shift $W(X)$ which arises from a combinatorial game played on the language of $X$. Previously it has been studied what properties of $X$ does $W(X)$ inherit. For example, $X$…

Formal Languages and Automata Theory · Computer Science 2022-06-15 Jarkko Peltomäki , Ville Salo

Discrete time quantum walks are known to be universal for quantum computation. This has been proven by showing that they can simulate a universal gate set. In this paper we examine computation in terms of language acceptance and present two…

Quantum Physics · Physics 2012-09-25 Katie Barr , Viv Kendon

The advent of recurrent neural networks for handwriting recognition marked an important milestone reaching impressive recognition accuracies despite the great variability that we observe across different writing styles. Sequential…

Computer Vision and Pattern Recognition · Computer Science 2020-05-28 Lei Kang , Pau Riba , Marçal Rusiñol , Alicia Fornés , Mauricio Villegas

Conversational machine reading comprehension (CMRC) aims to assist computers to understand an natural language text and thereafter engage in a multi-turn conversation to answer questions related to the text. Existing methods typically…

Computation and Language · Computer Science 2022-09-26 Xiao Zhang , Heyan Huang , Zewen Chi , Xian-Ling Mao

Syntax is usually studied in the realm of linguistics and refers to the arrangement of words in a sentence. Similarly, an image can be considered as a visual 'sentence', with the semantic parts of the image acting as 'words'. While visual…

Computer Vision and Pattern Recognition · Computer Science 2024-02-01 Sayeed Shafayet Chowdhury , Soumyadeep Chandra , Kaushik Roy

Understanding how 5' untranslated regions (5'UTRs) regulate mRNA translation is critical for controlling protein expression and designing effective therapeutic mRNAs. While recent deep learning models have shown promise in predicting…

Quantitative Methods · Quantitative Biology 2026-02-27 Yuxi Lin , Yaxue Fang , Zehong Zhang , Zhouwu Liu , Siyun Zhong , Zhongfang Wang , Fulong Yu

Recent advancements in attention mechanisms have replaced recurrent neural networks and its variants for machine translation tasks. Transformer using attention mechanism solely achieved state-of-the-art results in sequence modeling. Neural…

Computation and Language · Computer Science 2020-04-02 Prakhar Thapak , Prodip Hore

This work attempts to explain the types of computation that neural networks can perform by relating them to automata. We first define what it means for a real-time network with bounded precision to accept a language. A measure of network…

Computation and Language · Computer Science 2021-01-06 William Merrill

Automata over infinite alphabets have emerged as a convenient computational model for processing structures involving data, such as nonces in cryptographic protocols or data values in XML documents. We introduce active learning methods for…

Formal Languages and Automata Theory · Computer Science 2026-03-27 Florian Frank , Stefan Milius , Jurriaan Rot , Henning Urbat

DNA language models are increasingly used to represent genomic sequence, yet their effectiveness depends critically on how raw nucleotides are converted into model inputs. Unlike natural language, DNA offers no canonical boundaries, making…

Genomics · Quantitative Biology 2026-05-21 Taewon Kim , Jihwan Shin , Hyomin Kim , Youngmok Jung , Jonghoon Lee , Won-Chul Lee , Sungsoo Ahn , Insu Han

We study counting-regular languages -- these are languages $L$ for which there is a regular language $L'$ such that the number of strings of length $n$ in $L$ and $L'$ are the same for all $n$. We show that the languages accepted by…

Formal Languages and Automata Theory · Computer Science 2019-03-11 Oscar H. Ibarra , Ian McQuillan , Bala Ravikumar

Adaptive cognition requires structured internal models of objects and their relations. Predictive neural networks are often proposed to learn such world models, but how these are instantiated and how they support prediction remain unclear.…

Machine Learning · Computer Science 2026-05-11 Linda Ariel Ventura , Victoria Bosch , Tim C Kietzmann , Sushrut Thorat

Deep learning is currently playing a crucial role toward higher levels of artificial intelligence. This paradigm allows neural networks to learn complex and abstract representations, that are progressively obtained by combining simpler…

Audio and Speech Processing · Electrical Eng. & Systems 2019-08-12 Mirco Ravanelli , Yoshua Bengio

Intent-detection and slot-filling are the two main tasks in natural language understanding. In this study, we propose CTRAN, a novel encoder-decoder CNN-Transformer-based architecture for intent-detection and slot-filling. In the encoder,…

Computation and Language · Computer Science 2023-09-08 Mehrdad Rafiepour , Javad Salimi Sartakhti

Winner Take All (WTA) circuits a type of Spiking Neural Networks (SNN) have been suggested as facilitating the brain's ability to process information in a Bayesian manner. Research has shown that WTA circuits are capable of approximating…

Artificial Intelligence · Computer Science 2023-08-30 Otto van der Himst , Leila Bagheriye , Johan Kwisthout

Acoustic-to-Word recognition provides a straightforward solution to end-to-end speech recognition without needing external decoding, language model re-scoring or lexicon. While character-based models offer a natural solution to the…

Audio and Speech Processing · Electrical Eng. & Systems 2018-08-22 Shruti Palaskar , Florian Metze
‹ Prev 1 3 4 5 6 7 10 Next ›