English
Related papers

Related papers: Quotient Complexities of Atoms in Regular Ideal La…

200 papers

This paper deals with the size complexity of minimal {\it two-way quantum finite automata} (2qfa's) necessary for operations to perform on all inputs of each fixed length. Such a complexity measure, known as state complexity of operations,…

Discrete Mathematics · Computer Science 2008-07-04 Daowen Qiu

We investigate the expressive power of first-order quantifications in the context of monadic second-order logic over pictures. We show that k+1 set quantifier alternations allow to define a picture language that cannot be defined using k…

Formal Languages and Automata Theory · Computer Science 2012-04-24 Oliver Matz

In this paper we explore a new hierarchy of classes of languages and infinite words and its connection with complexity classes. Namely, we say that a language belongs to the class $L_k$ if it is a subset of the catenation of $k$ languages…

Formal Languages and Automata Theory · Computer Science 2014-06-17 J. Cassaigne , A. E. Frid , S. Puzynina , L. Q. Zamboni

In a recent thread of papers, we have introduced FQL, a precise specification language for test coverage, and developed the test case generation engine FShell for ANSI C. In essence, an FQL test specification amounts to a set of regular…

Formal Languages and Automata Theory · Computer Science 2013-05-28 Andreas Holzer , Christian Schallhart , Michael Tautschnig , Helmut Veith

This work is concerned with regular languages defined over large alphabets, either infinite or just too large to be expressed enumeratively. We define a generic model where transitions are labeled by elements of a finite partition of the…

Logic in Computer Science · Computer Science 2017-01-11 Irini-Eleftheria Mens , Oded Maler

As is the case of many signals produced by complex systems, language presents a statistical structure that is balanced between order and disorder. Here we review and extend recent results from quantitative characterisations of the degree of…

Computation and Language · Computer Science 2015-03-05 Marcelo A Montemurro , Damián H Zanette

Though English sentences are typically inflexible vis-\`a-vis word order, constituents often show far more variability in ordering. One prominent theory presents the notion that constituent ordering is directly correlated with constituent…

Computation and Language · Computer Science 2025-02-18 Ada Defne Tur , Gaurav Kamath , Siva Reddy

A quantitative method is suggested, where meanings of words, and grammatic rules about these, of a vocabulary are represented by real numbers. People meet randomly, and average their vocabularies if they are equal; otherwise they either…

Physics and Society · Physics 2009-11-13 Caglar Tuncay

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

In the constrained synchronization problem we ask if a given automaton admits a synchronizing word coming from a fixed regular constraint language. We show that intersecting a given constraint language with an ideal language decreases the…

Formal Languages and Automata Theory · Computer Science 2021-03-19 Stefan Hoffmann

We present a language $L_n$ which is recognizable by a probabilistic finite automaton (PFA) with probability $1 - \epsilon$ for all $\epsilon > 0$ with $O(log^2n)$ states, with a deterministic finite automaton (DFA) with O(n) states, but a…

Quantum Physics · Physics 2007-05-23 Gatis Midrijanis

Perfect Gabriel filters of right ideals and their corresponding right rings of quotients have the desirable feature that every module of quotients is determined solely by the right ring of quotients. On the other hand, symmetric rings of…

Rings and Algebras · Mathematics 2010-09-14 Lia Vas

Language interpretation is a compositional process, in which the meaning of more complex linguistic structures is inferred from the meaning of their parts. Large language models possess remarkable language interpretation capabilities and…

Artificial Intelligence · Computer Science 2025-10-31 David Maria Schmidt , Raoul Schubert , Philipp Cimiano

The complexity function of an infinite word $w$ on a finite alphabet $A$ is the sequence counting, for each non-negative $n$, the number of words of length $n$ on the alphabet $A$ that are factors of the infinite word $w$. For any given…

Dynamical Systems · Mathematics 2018-03-01 C. Mauduit , C. -G. Moreira

The Chapter starts with introductory information about quantitative linguistics notions, like rank--frequency dependence, Zipf's law, frequency spectra, etc. Similarities in distributions of words in texts with level occupation in quantum…

Data Analysis, Statistics and Probability · Physics 2024-01-04 Andrij Rovenchak

A generalization of numeration system in which the set N of the natural numbers is recognizable by finite automata can be obtained by describing a lexicographically ordered infinite regular language. Here we show that if P belonging to Q[x]…

Computational Complexity · Computer Science 2007-05-23 Michel Rigo

Partial words are sequences over a finite alphabet that may contain wildcard symbols, called holes, which match or are compatible with all letters; partial words without holes are said to be full words (or simply words). Given an infinite…

Discrete Mathematics · Computer Science 2011-08-19 Francine Blanchet-Sadri , Aleksandar Chakarov , Lucas Manuelli , Jarett Schwartz , Slater Stich

The creation complexity of a quantum state is the minimum number of elementary gates required to create it from a basic initial state. The creation complexity of quantum states is closely related to the complexity of quantum circuits, which…

Quantum Physics · Physics 2022-02-11 Zixuan Hu , Sabre Kais

Let $S$ be a finite alphabet. An injective word over $S$ is a word over $S$ such that each letter in $S$ appears at most once in the word. We study Boolean cell complexes of injective words over $S$ and their commutation classes. This…

Combinatorics · Mathematics 2007-12-14 Jakob Jonsson , Volkmar Welker

We prove lower bounds on the length of regular expressions for finite languages by methods from arithmetic circuit complexity. First, we show a reduction: the length of a regular expression for a language $L\subseteq \{0,1\}^n$ is bounded…

Formal Languages and Automata Theory · Computer Science 2021-01-01 Ehud Cseresnyes , Hannes Seiwert