English
Related papers

Related papers: State Grammars with Stores

200 papers

Usually, probabilistic automata and probabilistic grammars have crisp symbols as inputs, which can be viewed as the formal models of computing with values. In this paper, we first introduce probabilistic automata and probabilistic grammars…

Artificial Intelligence · Computer Science 2007-05-23 Yongzhi Cao , Lirong Xia , Mingsheng Ying

Deep state-space models (Deep SSMs) are becoming popular as effective approaches to model sequence data. They have also been shown to be capable of in-context learning, much like transformers. However, a complete picture of how SSMs might…

Machine Learning · Computer Science 2025-02-19 Neeraj Mohan Sushma , Yudou Tian , Harshvardhan Mestha , Nicolo Colombo , David Kappel , Anand Subramoney

Quantum computing is a relatively new field of computing, which utilises the fundamental concepts of quantum mechanics to process data. The seminal paper of Moore et al. [2000] introduced quantum grammars wherein a set of amplitudes was…

Formal Languages and Automata Theory · Computer Science 2025-05-21 Merina Aruja , Lisa Mathew , Jayakrishna Vijayakumar

Grammar induction is the task of learning a grammar from a set of examples. Recently, neural networks have been shown to be powerful learning machines that can identify patterns in streams of data. In this work we investigate their…

Computation and Language · Computer Science 2018-06-27 Mor Cohen , Avi Caciularu , Idan Rejwan , Jonathan Berant

Traditional language models treat language as a finite state automaton on a probability space over words. This is a very strong assumption when modeling something inherently complex such as language. In this paper, we challenge this by…

Computation and Language · Computer Science 2016-04-04 Kushal Arora , Anand Rangarajan

Recent language models, especially those based on recurrent neural networks (RNNs), make it possible to generate natural language from a learned probability. Language generation has wide applications including machine translation,…

Computation and Language · Computer Science 2016-01-05 Lili Mou , Rui Yan , Ge Li , Lu Zhang , Zhi Jin

The mechanisms of comprehension during language processing remains an open question. Classically, building the meaning of a linguistic utterance is said to be incremental, step-by-step, based on a compositional process. However, many…

Computation and Language · Computer Science 2025-11-05 Philippe Blache , Emmanuele Chersoni , Giulia Rambelli , Alessandro Lenci

We consider the previously defined notion of finite-state independence and we focus specifically on normal words. We characterize finite-state independence of normal words in three different ways, using three different kinds of asynchronous…

Formal Languages and Automata Theory · Computer Science 2018-07-10 Nicolás Álvarez , Verónica Becher , Olivier Carton

Existing technology can parse arbitrary context-free grammars, but only a single, static grammar per input. In order to support more powerful syntax-extension systems, we propose reflective grammars, which can modify their own syntax during…

Programming Languages · Computer Science 2011-02-14 Paul Stansifer , Mitchell Wand

It is shown that a context-free grammar of size $m$ that produces a single string $w$ (such a grammar is also called a string straight-line program) can be transformed in linear time into a context-free grammar for $w$ of size…

Data Structures and Algorithms · Computer Science 2020-07-02 Moses Ganardi , Artur Jeż , Markus Lohrey

Recurrent neural networks have achieved remarkable success at generating sequences with complex structures, thanks to advances that include richer embeddings of input and cures for vanishing gradients. Trained only on sequences from a known…

Artificial Intelligence · Computer Science 2021-10-28 Matthew Amodio , Swarat Chaudhuri , Thomas W. Reps

We study a class of filters -- discrete finite-state transition systems employed as incremental stream transducers -- that have application to robotics: e.g., to model combinatorial estimators and also as concise encodings of feedback…

Robotics · Computer Science 2022-04-04 Yulin Zhang , Dylan A. Shell

This paper asks whether a distinction between production-based and perception-based grammar induction influences either (i) the growth curve of grammars and lexicons or (ii) the similarity between representations learned from independent…

Computation and Language · Computer Science 2021-04-20 Jonathan Dunn , Andrea Nini

A nice and interesting property of any pure tensor-product state is that each such state has distillable entangled states at an arbitrarily small distance $\epsilon$ in its neighborhood. We say that such nearby states are…

Quantum Physics · Physics 2017-01-27 Michel Boyer , Aharon Brodutch , Tal Mor

We study model checking algorithms for infinite families of finite-state labeled transition systems against temporal properties written in CTL*. Such families arise, for example, as models of highly configurable systems or software product…

Logic in Computer Science · Computer Science 2026-01-23 Roberto Pettinau , Christoph Matheja

Among the wide variety of evolutionary computing models, Finite State Machines (FSMs) have several attractions for fundamental research. They are easy to understand in concept and can be visualised clearly in simple cases. They have a ready…

Neural and Evolutionary Computing · Computer Science 2023-10-23 Gabor Zoltai , Yue Xie , Frank Neumann

Syntactic Transformer language models aim to achieve better generalization through simultaneously modeling syntax trees and sentences. While prior work has been focusing on adding constituency-based structures to Transformers, we introduce…

Computation and Language · Computer Science 2024-07-25 Yida Zhao , Chao Lou , Kewei Tu

The downward closure of a language $L$ of words is the set of all (not necessarily contiguous) subwords of members of $L$. It is well known that the downward closure of any language is regular. Although the downward closure seems to be a…

Formal Languages and Automata Theory · Computer Science 2014-09-30 Georg Zetzsche

A perspective of statistical language models which emphasizes their collocational aspect is advocated. It is suggested that strings be generalized in terms of classes of relationships instead of classes of objects. The single most important…

cmp-lg · Computer Science 2008-02-03 Robert John Freeman

A regular language $L$ is union-free if it can be represented by a regular expression without the union operation. A union-free language is deterministic if it can be accepted by a deterministic one-cycle-free-path finite automaton; this is…

Formal Languages and Automata Theory · Computer Science 2018-01-04 Janusz A. Brzozowski , Sylvie Davies