English
Related papers

Related papers: On Minimal Pumping Constants for Regular Languages

200 papers

We study the complexity of basic regular operations on languages represented by incomplete deterministic or nondeterministic automata, in which all states are final. Such languages are known to be prefix-closed. We get tight bounds on both…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Kristína Čevorová , Galina Jirásková , Peter Mlynárčik , Matúš Palmovský , Juraj Šebej

We examine deterministic and nondeterministic state complexities of regular operations on prefix-free languages. We strengthen several results by providing witness languages over smaller alphabets, usually as small as possible. We next…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Galina Jirásková , Monika Krausová

For both human readers and pre-trained language models (PrLMs), lexical diversity may lead to confusion and inaccuracy when understanding the underlying semantic meanings of given sentences. By substituting complex words with simple…

Computation and Language · Computer Science 2021-01-01 Rongzhou Bao , Jiayi Wang , Zhuosheng Zhang , Hai Zhao

We investigate the accepting state complexity of deterministic finite automata for regular languages obtained by applying one of the following operations to languages accepted by permutation automata: union, quotient, complement,…

Formal Languages and Automata Theory · Computer Science 2022-09-01 Christian Rauch , Markus Holzer

The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of regular languages is the maximal syntactic complexity of languages in that subclass, taken as a function…

Formal Languages and Automata Theory · Computer Science 2011-09-16 Janusz Brzozowski , Baiyu Li

The rapid rise of Language Models (LMs) has expanded their use in several applications. Yet, due to constraints of model size, associated cost, or proprietary restrictions, utilizing state-of-the-art (SOTA) LLMs is not always feasible. With…

Computation and Language · Computer Science 2025-03-13 Neelabh Sinha , Vinija Jain , Aman Chadha

The pumping lemma and Ogden lemma offer a powerful method to prove that a particular language is not context-free. In 2008 Kanazawa proved an analogue of pumping lemma for well-nested multiple-context free languages. However, the statement…

Formal Languages and Automata Theory · Computer Science 2014-07-01 Alexey Sorokin

Infinite words, also known as streams, hold significant interest in computer science and mathematics, raising the natural question of how their complexity should be measured. We introduce cellular automaton reducibility as a measure of…

Formal Languages and Automata Theory · Computer Science 2026-01-30 Markel Zubia , Herman Geuvers

We study various complexity properties of suffix-free regular languages. The quotient complexity of a regular language $L$ is the number of left quotients of $L$; this is the same as the state complexity of $L$. A regular language $L'$ is a…

Formal Languages and Automata Theory · Computer Science 2016-12-13 Janusz Brzozowski , Marek Szykuła

A language $L$ over an alphabet $\Sigma$ is prefix-convex if, for any words $x,y,z\in\Sigma^*$, whenever $x$ and $xyz$ are in $L$, then so is $xy$. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages. We…

Formal Languages and Automata Theory · Computer Science 2016-06-27 Janusz Brzozowski , Corwin Sinnamon

We present a compact, single-model approach to multilingual inflection, the task of generating inflected word forms from base lemmas to express grammatical categories. Our model, trained jointly on data from 73 languages, is lightweight,…

Computation and Language · Computer Science 2025-10-28 Tomáš Sourada , Jana Straková

We propose a learning approach for turn-level spoken language understanding, which facilitates a user to speak one or more utterances compositionally in a turn for completing a task (e.g., voice ordering). A typical pipelined approach for…

Computation and Language · Computer Science 2019-06-12 Hao Lang , Wen Wang

Small Language Models (SLMs) are increasingly being deployed in resource-constrained environments, yet their behavioral robustness to data contamination during instruction tuning remains poorly understood. We systematically investigate the…

Computation and Language · Computer Science 2025-11-11 Nicy Scaria , Silvester John Joseph Kennedy , Deepak Subramani

A turn in a computation of a pushdown automaton is a switch from a phase in which the height of the pushdown store increases to a phase in which it decreases. Given a pushdown or one-counter automaton, we consider, for each string in its…

Formal Languages and Automata Theory · Computer Science 2026-03-10 Giovanni Pighizzini

The downward and upward closures of a regular language $L$ are obtained by collecting all the subwords and superwords of its elements, respectively. The downward and upward interiors of $L$ are obtained dually by collecting words having all…

Formal Languages and Automata Theory · Computer Science 2015-12-02 Prateek Karandikar , Matthias Niewerth , Philippe Schnoebelen

We formulate an exact result, which we refer to as the pumping restriction theorem (PRT). It imposes strong restrictions on the currents generated by periodic driving in a generic dissipative system with detailed balance. Our theorem…

Statistical Mechanics · Physics 2009-11-13 V. Y. Chernyak , N. A. Sinitsyn

We propose a new pumping technique for 2-dimensional vector addition systems with states (2-VASS) building on natural geometric properties of runs. We illustrate its applicability by reproving an exponential bound on the length of the…

Formal Languages and Automata Theory · Computer Science 2019-06-26 Wojciech Czerwiński , Sławomir Lasota , Christof Löding , Radosław Piórkowski

Recent self-rewarding large language models (LLM) have successfully applied LLM-as-a-Judge to iteratively improve the alignment performance without the need of human annotations for preference data. These methods commonly utilize the same…

Machine Learning · Computer Science 2025-04-29 Zhaoyang Wang , Weilei He , Zhiyuan Liang , Xuchao Zhang , Chetan Bansal , Ying Wei , Weitong Zhang , Huaxiu Yao

Recent advances in prompt optimization have notably enhanced the performance of pre-trained language models (PLMs) on downstream tasks. However, the potential of optimized prompts on domain generalization has been under-explored. To explore…

Computation and Language · Computer Science 2024-10-22 Chengzhengxu Li , Xiaoming Liu , Zhaohan Zhang , Yichen Wang , Chen Liu , Yu Lan , Chao Shen

Recent years have seen remarkable advances in the field of Simultaneous Machine Translation (SiMT) due to the introduction of innovative policies that dictate whether to READ or WRITE at each step of the translation process. However, a…

Computation and Language · Computer Science 2023-10-26 Kang Kim , Hankyu Cho