English
Related papers

Related papers: Unrestricted State Complexity of Binary Operations…

200 papers

Received wisdom in linguistic typology holds that if the structure of a language becomes more complex in one dimension, it will simplify in another, building on the assumption that all languages are equally complex (Joseph and Newmeyer,…

Computation and Language · Computer Science 2024-02-21 Ryan Soh-Eun Shim , Kalvin Chang , David R. Mortensen

We consider P systems with a linear membrane structure working on objects over a unary alphabet using sets of rules resembling homomorphisms. Such a restricted variant of P systems allows for a unique minimal representation of the generated…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Rudolf Freund , Andreas Klein , Martin Kutrib

Given a countable set X (usually taken to be the natural numbers or integers), an infinite permutation, \pi, of X is a linear ordering of X. This paper investigates the combinatorial complexity of infinite permutations on the natural…

Discrete Mathematics · Computer Science 2011-08-19 Steven Widmer

In this paper, we consider block languages, namely sets of words having the same length, and we propose a new representation for these languages. In particular, given an alphabet of size $k$ and a length $\ell$, a block language can be…

Formal Languages and Automata Theory · Computer Science 2025-05-19 Guilherme Duarte , Nelma Moreira , Luca Prigioniero , Rogério Reis

We present methods for calculating a measure of phonotactic complexity---bits per phoneme---that permits a straightforward cross-linguistic comparison. When given a word, represented as a sequence of phonemic segments such as symbols in the…

Computation and Language · Computer Science 2020-05-11 Tiago Pimentel , Brian Roark , Ryan Cotterell

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

We study the relation between the palindromic and factor complexity of infinite words. We show that for uniformly recurrent words one has P(n)+P(n+1) \leq \Delta C(n) + 2, for all n \in N. For a large class of words it is a better estimate…

Combinatorics · Mathematics 2007-05-23 Peter Baláži , Zuzana Masáková , Edita Pelantová

We generalise a multiple string pattern matching algorithm, recently proposed by Fredriksson and Grabowski [J. Discr. Alg. 7, 2009], to deal with arbitrary dictionaries on an alphabet of size $s$. If $r_m$ is the number of words of length…

Data Structures and Algorithms · Computer Science 2017-07-03 Frédérique Bassino , Tsinjo Rakotoarimalala , Andrea Sportiello

The even online Kolmogorov complexity of a string $x = x_1 x_2 \cdots x_{n}$ is the minimal length of a program that for all $i\le n/2$, on input $x_1x_3 \cdots x_{2i-1}$ outputs $x_{2i}$. The odd complexity is defined similarly. The sum of…

Computational Complexity · Computer Science 2025-07-15 Bruno Bauwens , Maria Marchenko

We introduce new entanglement monotones which generalize, to the case of many parties, those which give rise to the majorization-based partial ordering of bipartite states' entanglement. We give some examples of restrictions they impose on…

Quantum Physics · Physics 2009-11-07 H. Barnum , N. Linden

We provide rigorous, efficiently computable and tight bounds on the average error probability of multiple-copy discrimination between qubit mixed states by Local Operations assisted with Classical Communication (LOCC). In contrast to the…

Quantum Physics · Physics 2010-09-13 J. Calsamiglia , J. I. de Vicente , R. Munoz-Tapia , E. Bagan

We investigate computing models that are presented as families of finite computing devices with a uniformity condition on the entire family. Examples of such models include Boolean circuits, membrane systems, DNA computers, chemical…

Computational Complexity · Computer Science 2014-12-11 Niall Murphy , Damien Woods

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 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

The sequence A000975 in OEIS can be defined by $A_1=1$, $A_{n+1}=2A_n$ if $n$ is odd, and $A_{n+1}=2A_n+1$ if $n$ is even. This sequence satisfies other recurrence relations, admits some closed formulas, and is known to enumerate several…

Combinatorics · Mathematics 2017-10-17 Jia Huang , Madison Mickey , Jianbai Xu

In this paper, the construction of finite-length binary sequences whose nonlinear complexity is not less than half of the length is investigated. By characterizing the structure of the sequences, an algorithm is proposed to generate all…

Information Theory · Computer Science 2023-12-27 Sicheng Liang , Xiangyong Zeng , Zibi Xiao , Zhimin Sun

We make comments on some shortcomings of the non-unitary-invariant and non-bi-invariant complexity in quantum mechanics/field theory and argue that the unitary-invariant and bi-invariant complexity is still a competitive candidate in…

High Energy Physics - Theory · Physics 2019-06-14 Run-Qiu Yang , Yu-Sen An , Chao Niu , Cheng-Yong Zhang , Keun-Young Kim

We investigate the state complexity of the star of symmetrical differences using modifiers and monsters. A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of…

Formal Languages and Automata Theory · Computer Science 2019-09-18 Pascal Caron , Edwin Hamel-de le Court , Jean-Gabriel Luque

For any $n$-bit boolean function $f$, we show that the randomized communication complexity of the composed function $f\circ g^n$, where $g$ is an index gadget, is characterized by the randomized decision tree complexity of $f$. In…

Computational Complexity · Computer Science 2017-03-23 Mika Göös , Toniann Pitassi , Thomas Watson

In this article, applying different types of boundary conditions; Dirichlet, Neumann, or Mixed, on open strings we realize various new brane bound states in string theory. Calculating their interactions with other D-branes, we find their…

High Energy Physics - Theory · Physics 2009-10-07 M. M. Sheikh-Jabbari