English
Related papers

Related papers: A substitution lemma for multiple context-free lan…

200 papers

We present two structural results concerning longest common prefixes of non-empty languages. First, we show that the longest common prefix of the language generated by a context-free grammar of size $N$ equals the longest common prefix of…

Formal Languages and Automata Theory · Computer Science 2018-01-09 Michael Luttenberger , Raphaela Palenta , Helmut Seidl

We investigate regular realizability (RR) problems, which are the problems of verifying whether intersection of a regular language -- the input of the problem -- and fixed language called filter is non-empty. In this paper we focus on the…

Formal Languages and Automata Theory · Computer Science 2015-04-23 Alexander A. Rubtsov , Mikhail N. Vyalyi

Large language models often suffer from language confusion, a phenomenon in which responses are partially or entirely generated in unintended languages. This critically degrades the user experience, especially in low-resource settings. We…

Computation and Language · Computer Science 2025-07-22 Nahyun Lee , Yeongseo Woo , Hyunwoo Ko , Guijin Son

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

We propose a scalable framework for deciding, proving, and explaining (in-)equivalence of context-free grammars. We present an implementation of the framework and evaluate it on large data sets collected within educational support systems.…

Formal Languages and Automata Theory · Computer Science 2026-04-09 Marko Schmellenkamp , Thomas Zeume , Sven Argo , Sandra Kiefer , Cedric Siems , Fynn Stebel

We study the links between the topological complexity of an omega context free language and its degree of ambiguity. In particular, using known facts from classical descriptive set theory, we prove that non Borel omega context free…

Logic in Computer Science · Computer Science 2008-01-04 Olivier Finkel , Pierre Simonnet

Large language models (LLMs) have shown promising performance across diverse domains. Many practical applications of LLMs, such as code completion and structured data extraction, require adherence to syntactic constraints specified by a…

Machine Learning · Computer Science 2025-08-18 Niels Mündler , Jasper Dekoninck , Martin Vechev

Let $G$ be a finitely generated group, $A$ a finite set of generators and $K$ a subgroup of $G$. We call the pair $(G,K)$ context-free if the set of all words over $A$ that reduce in $G$ to an element of $K$ is a context-free language. When…

Group Theory · Mathematics 2012-12-05 Tullio Ceccherini-Silberstein , Wolfgang Woess

We report some further developments regarding the language theory of higher-dimensional automata (HDAs). Regular languages of HDAs are sets of finite interval partially ordered multisets (pomsets) with interfaces. We show a pumping lemma…

Formal Languages and Automata Theory · Computer Science 2024-07-19 Amazigh Amrane , Hugo Bazille , Uli Fahrenberg , Krzysztof Ziemiański

We study the full language of quasigeodesics in Cayley graphs, with fixed error constants. We show that, given a non-virtually-cyclic nilpotent group or Baumslag--Solitar group, and any finite generating set, such languages fail to be…

Group Theory · Mathematics 2026-04-28 Arya Saranathan

This article presents a combinatorial result on indexed languages which was inspired by an attempt to understand the structure of groups with indexed language word problem. We show that a sufficiently long word in an indexed language can be…

Group Theory · Mathematics 2009-09-25 Robert Gilman

We study the problem of deciding whether a given language is directed. A language $L$ is \emph{directed} if every pair of words in $L$ have a common (scattered) superword in $L$. Deciding directedness is a fundamental problem in connection…

Formal Languages and Automata Theory · Computer Science 2024-01-22 Moses Ganardi , Irmak Saglam , Georg Zetzsche

This paper introduces a large-scale multimodal and multilingual dataset that aims to facilitate research on grounding words to images in their contextual usage in language. The dataset consists of images selected to unambiguously illustrate…

Computation and Language · Computer Science 2022-06-20 Josiah Wang , Pranava Madhyastha , Josiel Figueiredo , Chiraag Lala , Lucia Specia

We consider the problem of aligning two sets of continuous word representations, corresponding to languages, to a common space in order to infer a bilingual lexicon. It was recently shown that it is possible to infer such lexicon, without…

Computation and Language · Computer Science 2024-02-13 Paul Garnier , Gauthier Guinet

The multivariate covering lemma states that given a collection of $k$ codebooks, each of sufficiently large cardinality and independently generated according to one of the marginals of a joint distribution, one can always choose one…

Information Theory · Computer Science 2016-01-22 Parham Noorzad , Michelle Effros , Michael Langberg

We study subsets $E$ of finitely generated groups where the set of all words over a given finite generating set that lie in $E$ forms a context-free language. We call these sets recognisably context-free. They are invariant of the choice of…

Group Theory · Mathematics 2024-05-01 Alex Levine

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

Lemmatization is the task of transforming all words in a given text to their dictionary forms. While large language models (LLMs) have demonstrated their ability to achieve competitive results across a wide range of NLP tasks, there is no…

Computation and Language · Computer Science 2025-10-10 Olia Toporkov , Alan Akbik , Rodrigo Agerri

Scaling existing applications and solutions to multiple human languages has traditionally proven to be difficult, mainly due to the language-dependent nature of preprocessing and feature engineering techniques employed in traditional…

Computation and Language · Computer Science 2020-01-01 Xiaotong Liu , Yingbei Tong , Anbang Xu , Rama Akkiraju

We consider the problem of disambiguating the lemma and part of speech of ambiguous words in morphologically rich languages. We propose a method for disambiguating ambiguous words in context, using a large un-annotated corpus of text, and a…

Computation and Language · Computer Science 2020-07-14 José María Hoya Quecedo , Maximilian W. Koppatz , Giacomo Furlan , Roman Yangarber
‹ Prev 1 3 4 5 6 7 10 Next ›