English
Related papers

Related papers: Pumping lemmas for linear and nonlinear context-fr…

200 papers

Language models have become the backbone of today's AI systems. However, their predominant left-to-right generation limits the use of bidirectional context, which is essential for tasks that involve filling text in the middle. We propose…

Computation and Language · Computer Science 2023-10-17 Tianxiao Shen , Hao Peng , Ruoqi Shen , Yao Fu , Zaid Harchaoui , Yejin Choi

Many complex generative systems use languages to create structured objects. We consider a model of random languages, defined by weighted context-free grammars. As the distribution of grammar weights broadens, a transition is found from a…

Disordered Systems and Neural Networks · Physics 2019-04-03 E. DeGiuli

Several methods are discussed that construct a finite automaton given a context-free grammar, including both methods that lead to subsets and those that lead to supersets of the original context-free language. Some of these methods of…

Computation and Language · Computer Science 2007-05-23 Mark-Jan Nederhof

We propose Blank Language Model (BLM), a model that generates sequences by dynamically creating and filling in blanks. The blanks control which part of the sequence to expand, making BLM ideal for a variety of text editing and rewriting…

Computation and Language · Computer Science 2020-11-18 Tianxiao Shen , Victor Quach , Regina Barzilay , Tommi Jaakkola

Pumping lemma has been a very difficult topic for students to understand in a theoretical computer science course due to a lack of tool support. In this paper, we present an active learning tool called MInimum PUmping length (MIPU)…

Formal Languages and Automata Theory · Computer Science 2023-02-28 Josue N. Rivera , Haiping Xu

The ability to process idiomatic or literal multiword expressions is a crucial aspect of understanding and generating any language. The task of generating contextually relevant continuations for narratives containing idiomatic (or literal)…

Computation and Language · Computer Science 2023-11-07 Rhitabrat Pokharel , Ameeta Agrawal

This paper solves an open problem concerning the generative power of nonerasing context-free rewriting systems using a simple mechanism for checking for context dependencies, in the literature known as semi-conditional grammars of degree…

Formal Languages and Automata Theory · Computer Science 2010-04-22 Tomas Masopust

In this paper, we continue the research on the power of contextual grammars with selection languages from subfamilies of the family of regular languages. We investigate various comet-like types of languages and compare such language…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Marvin Ködding , Bianca Truthe

The paper is about a class of languages that extends context-free languages (CFL) and is stable under shuffle. Specifically, we investigate the class of partially-commutative context-free languages (PCCFL), where non-terminal symbols are…

Formal Languages and Automata Theory · Computer Science 2012-08-15 Wojciech Czerwiński , Sławomir Lasota

For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a non-regular language, PDL[L] can express non-regular…

Logic in Computer Science · Computer Science 2011-06-08 Markus Latte

The paper demonstrates the non-closure of the family of unambiguous linear languages (that is, those defined by unambiguous linear context-free grammars) under complementation. To be precise, a particular unambiguous linear grammar is…

Formal Languages and Automata Theory · Computer Science 2022-10-06 Olga Martynova , Alexander Okhotin

Large language models (LLMs) enable researchers to analyze text at unprecedented scale and minimal cost. Researchers can now revisit old questions and tackle novel ones with rich data. We provide an econometric framework for realizing this…

Econometrics · Economics 2025-12-08 Jens Ludwig , Sendhil Mullainathan , Ashesh Rambachan

Natural language reasoning plays an increasingly important role in improving language models' ability to solve complex language understanding tasks. An interesting use case for reasoning is the resolution of context-dependent ambiguity. But…

Computation and Language · Computer Science 2023-10-24 Stefan F. Schouten , Peter Bloem , Ilia Markov , Piek Vossen

P systems with active membranes were used to generate languages, in the sense of languages associated with the structure of membrane systems. Here, we analyze the power of P systems with membrane creation and dissolution restricted to…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-08-18 Rama Raghavan , H. Ramesh , Marian Gheorghe , Shankara Narayanan Krishna

Multiple (simple) context-free tree grammars are investigated, where "simple" means "linear and nondeleting". Every multiple context-free tree grammar that is finitely ambiguous can be lexicalized; i.e., it can be transformed into an…

Formal Languages and Automata Theory · Computer Science 2017-07-13 Joost Engelfriet , Andreas Maletti , Sebastian Maneth

Recently, pretrained language models (PLMs) have had exceptional success in language generation. To leverage the rich knowledge encoded by PLMs, a simple yet powerful paradigm is to use prompts in the form of either discrete tokens or…

Computation and Language · Computer Science 2022-10-04 Tianyi Tang , Junyi Li , Wayne Xin Zhao , Ji-Rong Wen

We present a simple approach for text infilling, the task of predicting missing spans of text at any position in a document. While infilling could enable rich functionality especially for writing assistance tools, more attention has been…

Computation and Language · Computer Science 2020-09-14 Chris Donahue , Mina Lee , Percy Liang

Language models (LLMs) offer potential as a source of knowledge for agents that need to acquire new task competencies within a performance environment. We describe efforts toward a novel agent capability that can construct cues (or…

Machine Learning · Computer Science 2022-11-22 James R. Kirk , Robert E. Wray , Peter Lindes , John E. Laird

A recent study on structural properties of regular and context-free languages has greatly promoted our basic understandings of the complex behaviors of those languages. We continue the study to examine how regular languages behave when they…

Formal Languages and Automata Theory · Computer Science 2015-03-20 Tomoyuki Yamakami , Yuichi Kato

Word class flexibility refers to the phenomenon whereby a single word form is used across different grammatical categories. Extensive work in linguistic typology has sought to characterize word class flexibility across languages, but…

Computation and Language · Computer Science 2020-09-22 Bai Li , Guillaume Thomas , Yang Xu , Frank Rudzicz