English
Related papers

Related papers: One-dimensional Array Grammars and P Systems with …

200 papers

In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…

Logic · Mathematics 2018-05-14 Samuel Braunfeld

Consider an infinite graph with nodes initially labeled by independent Bernoulli random variables of parameter p. We address the density classification problem, that is, we want to design a (probabilistic or deterministic) cellular…

Probability · Mathematics 2011-11-22 Ana Busic , Nazim Fates , Jean Mairesse , Irene Marcovici

Systems now exist which are able to compile unification grammars into language models that can be included in a speech recognizer, but it is so far unclear whether non-trivial linguistically principled grammars can be used for this purpose.…

Computation and Language · Computer Science 2007-05-23 Manny Rayner , Beth Ann Hockey , Frankie James , Elizabeth O. Bratt , Sharon Goldwater , Mark Gawron

One-bit compressive sensing has extended the scope of sparse recovery by showing that sparse signals can be accurately reconstructed even when their linear measurements are subject to the extreme quantization scenario of binary…

Information Theory · Computer Science 2016-06-27 Rich Baraniuk , Simon Foucart , Deanna Needell , Yaniv Plan , Mary Wootters

This paper demonstrates a duality between the non-robustness of polynomial time dimension and the existence of one-way functions. Polynomial-time dimension (denoted $\mathrm{cdim}_\mathrm{P}$) quantifies the density of information of…

Computational Complexity · Computer Science 2025-02-11 Satyadev Nandakumar , Subin Pulari , Akhil S , Suronjona Sarma

In this note we discuss a common misconception, namely that embeddings are always used to reduce the dimensionality of the item space. We show that when we measure dimensionality in terms of information entropy then the embedding of sparse…

Machine Learning · Computer Science 2019-01-09 Maxim Naumov

The grammar representation of a narrowing tree for a syntactically deterministic conditional term rewriting system and a pair of terms is a regular tree grammar that generates expressions for substitutions obtained by all possible…

Logic in Computer Science · Computer Science 2019-02-25 Naoki Nishida , Yuya Maeda

In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data omega-words). The notion of computability is defined through Turing machines with infinite inputs which can…

Logic in Computer Science · Computer Science 2020-02-20 Léo Exibard , Emmanuel Filiot , Pierre-Alain Reynier

Word embeddings are a powerful natural language processing technique, but they are extremely difficult to interpret. To enable interpretable NLP models, we create vectors where each dimension is inherently interpretable. By inherently…

Computation and Language · Computer Science 2021-09-29 Adly Templeton

We study the computational power of parsing expression grammars (PEGs). We begin by constructing PEGs with unexpected behaviour, and surprising new examples of languages with PEGs, including the language of palindromes whose length is a…

Formal Languages and Automata Theory · Computer Science 2020-02-17 Bruno Loff , Nelma Moreira , Rogério Reis

This paper deals with exploiting symmetry for solving linear and integer programming problems. Basic properties of linear representations of finite groups can be used to reduce symmetric linear programming to solving linear programs of…

Optimization and Control · Mathematics 2015-07-31 Richard Bödi , Katrin Herr , Michael Joswig

Grammatical inference is a classical problem in computational learning theory and a topic of wider influence in natural language processing. We treat grammars as a model of computation and propose a novel neural approach to induction of…

Machine Learning · Computer Science 2022-10-04 Peter Belcák , David Hofer , Roger Wattenhofer

One-dimensional cellular automata are discrete dynamical systems that operate on an infinite lattice of sites and are characterized by the locality and uniformity of their update rule. Permutations of the state set and isometric…

Cellular Automata and Lattice Gases · Physics 2025-12-10 Martin Schaller , Karl Svozil

Interpretability benefits the theoretical understanding of representations. Existing word embeddings are generally dense representations. Hence, the meaning of latent dimensions is difficult to interpret. This makes word embeddings like a…

Computation and Language · Computer Science 2023-06-27 Minxue Xia , Hao Zhu

Unitary matrices are the basis of a large number of signal processing applications. In many of these applications, finding ways to efficiently store, and even transmit these matrices, can significantly reduce memory and throughput…

Signal Processing · Electrical Eng. & Systems 2025-10-07 Juan Vidal Alegría

We study the computational complexity of universality and inclusion problems for unambiguous finite automata and context-free grammars. We observe that several such problems can be reduced to the universality problem for unambiguous…

Formal Languages and Automata Theory · Computer Science 2020-08-12 Lorenzo Clemente

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

The interaction of defects can lead to a phenomenon of erasure. During this process, a lower-dimensional object gets absorbed and dissolved by a higher-dimensional one. The phenomenon is very general and has a wide range of implications,…

High Energy Physics - Theory · Physics 2022-12-16 Gia Dvali , Juan Sebastián Valbuena-Bermúdez

Graph-modification problems, where we modify a graph by adding or deleting vertices or edges or contracting edges to obtain a graph in a {\it simpler} class, is a well-studied optimization problem in all algorithmic paradigms including…

Data Structures and Algorithms · Computer Science 2021-12-24 Ashwin Jacob , Jari J. H. de Kroon , Diptapriyo Majumdar , Venkatesh Raman

Neural codes are collections of binary strings motivated by patterns of neural activity. In this paper, we study algorithmic and enumerative aspects of convex neural codes in dimension 1 (i.e. on a line or a circle). We use the theory of…

Combinatorics · Mathematics 2017-02-23 Zvi Rosen , Yan X. Zhang