English
Related papers

Related papers: State Complexity and the Monoid of Transformations…

200 papers

We relate the computational complexity of finite strings to universal representations of their underlying symmetries. First, Boolean functions are classified using the universal covering topologies of the circuits which enumerate them. A…

Information Theory · Computer Science 2011-09-20 John Scoville

Given a finite alphabet $\Sigma$ and a right-infinite word $\bf w$ over $\Sigma$, we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$, whose value at $n$ is the number of conjugacy classes (under cyclic shift) of…

Formal Languages and Automata Theory · Computer Science 2021-02-09 Jason P. Bell , Jeffrey Shallit

We present a uniform description of sets of $m$ linear forms in $n$ variables over the field of rational numbers whose computation requires $m(n - 1)$ additions.

Computational Complexity · Computer Science 2022-12-13 Michael Kaminski , Igor E. Shparlinski , Michel Waldschmidt

We study decision problems of the form: given a regular or linear context-free language $L$, is there a word of a given fixed form in $L$, where given fixed forms are based on word operations copy, marked copy, shuffle and their…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Vesa Halava , Tero Harju , Dirk Nowotka , Esa Sahla

The true complexity of a polynomial progression in finite fields corresponds to the smallest-degree Gowers norm that controls the counting operator of the progression over finite fields of large characteristic. We give a conjecture that…

Combinatorics · Mathematics 2021-07-01 Borys Kuca

We quantify the linguistic complexity of different languages' morphological systems. We verify that there is an empirical trade-off between paradigm size and irregularity: a language's inflectional paradigms may be either large in size or…

Computation and Language · Computer Science 2018-07-10 Ryan Cotterell , Christo Kirov , Mans Hulden , Jason Eisner

We investigate certain word-construction games with variable turn orders. In these games, Alice and Bob take turns on choosing consecutive letters of a word of fixed length, with Alice winning if the result lies in a predetermined target…

Formal Languages and Automata Theory · Computer Science 2020-04-29 Pierre Marcus , Ilkka Törmä

We study the complexity of deterministic and probabilistic inversions of partial computable functions on the reals.

Logic · Mathematics 2026-01-14 George Barmpalias , Mingyang Wang , Xiaoyan Zhang

We investigate the descriptional complexity of limited propagating Lindenmayer systems and their deterministic and tabled variants with respect to the number of rules and the number of symbols. We determine the decrease of complexity when…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Bianca Truthe

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

One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective letter-to-letter homomorphisms. This closure property holds for…

Logic in Computer Science · Computer Science 2022-01-26 Mikołaj Bojańczyk , Bartek Klin , Julian Salamanca

We introduce a method for analyzing the complexity of natural language processing tasks, and for predicting the difficulty new NLP tasks. Our complexity measures are derived from the Kolmogorov complexity of a class of automata --- {\it…

cmp-lg · Computer Science 2016-08-31 Wlodek Zadrozny

Finite-state transducers give efficient representations of many Natural Language phenomena. They allow to account for complex lexicon restrictions encountered, without involving the use of a large set of complex rules difficult to analyze.…

cmp-lg · Computer Science 2008-02-03 Mehryar Mohri

In this paper, we investigate generalizations of the Mahler-Popkens complexity of integers. Specifically, we generalize to $k$-th roots of unity, polynomials over the naturals, and the integers mod $m$. In cyclotomic rings, we establish…

Number Theory · Mathematics 2022-11-09 Aarya Kumar , Siyu Peng , Vincent Tran

We investigate the syntactic complexity of certain types of finitely generated submonoids of a free monoid. In fact, we consider those submonoids which are accepted by circular semi-flower automata (CSFA). Here, we show that the syntactic…

Formal Languages and Automata Theory · Computer Science 2013-06-17 Shubh Narayan Singh , K. V. Krishna

An infinite permutation is a linear ordering of the set of non-negative integers. Generally, the properties of infinite permutations analogous to those of infinite words show some resemblances and some differences between permutations and…

Combinatorics · Mathematics 2009-11-09 S. V. Avgustinovich , A. E. Frid , T. Kamae , P. V. Salimov

We give a forbidden pattern characterization for the class of generalized definite languages, show that the corresponding problem is NL-complete and can be solved in quadratic time. We also show that their syntactic complexity coincides…

Formal Languages and Automata Theory · Computer Science 2013-04-23 Szabolcs Ivan , Judit Nagy-Gyorgy

Generalising the concept of a complete permutation polynomial over a finite field, we define completness to level $k$ for $k\ge1$ in fields of odd characteristic. We construct two families of polynomials that satisfy the condition of high…

Number Theory · Mathematics 2023-10-20 S. Rajagopal , P. Vanchinathan

In the first part of this paper, we present a unified framework for analyzing the algorithmic complexity of any optimization problem, whether it be continuous or discrete in nature. This helps to formalize notions like "input", "size" and…

Optimization and Control · Mathematics 2022-07-06 Amitabh Basu

We initiate a study of the complexity of quantum field theories (QFTs) by proposing a measure of information contained in a QFT and its observables. We show that from minimal assertions, one is naturally led to measure complexity by two…

High Energy Physics - Theory · Physics 2025-07-16 Thomas W. Grimm , Mick van Vliet