中文
相关论文

相关论文: $k$-Universality of Regular Languages Revisited

200 篇论文

A word~$w$ has a border $u$ if $u$ is a non-empty proper prefix and suffix of $u$. A word~$w$ is said to be \emph{closed} if $w$ is of length at most $1$ or if $w$ has a border that occurs exactly twice in $w$. A word~$w$ is said to be…

组合数学 · 数学 2024-05-24 Daniel Gabric

Let D denote an infinite alphabet -- a set that consists of infinitely many symbols. A word w = a_0 b_0 a_1 b_1 ... a_n b_n of even length over D can be viewed as a directed graph G_w whose vertices are the symbols that appear in w, and the…

形式语言与自动机理论 · 计算机科学 2012-04-11 Tony Tan

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…

动力系统 · 数学 2018-03-01 C. Mauduit , C. -G. Moreira

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$. The goal of this…

动力系统 · 数学 2018-02-26 Carlos Gustavo Moreira , Christian Mauduit

A permutation $\sigma \in S_n$ is a $k$-superpattern (or $k$-universal) if it contains each $\tau \in S_k$ as a pattern. This notion of "superpatterns" can be generalized to words on smaller alphabets, and several questions about…

组合数学 · 数学 2021-08-13 Zach Hunter

The notion of Wheeler languages is rooted in the Burrows-Wheeler transform (BWT), one of the most central concepts in data compression and indexing. The BWT has been generalized to finite automata, the so-called Wheeler automata, by Gagie…

形式语言与自动机理论 · 计算机科学 2025-04-29 Ruben Becker , Giuseppa Castiglione , Giovanna D'Agostino , Alberto Policriti , Nicola Prezza , Antonio Restivo , Brian Riccardi

Given a regular language L over an ordered alphabet $\Sigma$, the set of lexicographically smallest (resp., largest) words of each length is itself regular. Moreover, there exists an unambiguous finite-state transducer that, on a given word…

形式语言与自动机理论 · 计算机科学 2020-03-19 Lukas Fleischer , Jeffrey Shallit

The subword complexity of a finite word $w$ of length $N$ is a function which associates to each $n\le N$ the number of all distinct subwords of $w$ having the length $n$. We define the \emph{maximal complexity} C(w) as the maximum of the…

离散数学 · 计算机科学 2010-02-16 M-C. Anisiu , Z. Blazsik , Z. Kasa

Determining the index of the Simon congruence is a long outstanding open problem. Two words $u$ and $v$ are called Simon congruent if they have the same set of scattered factors, which are parts of the word in the correct order but not…

组合数学 · 数学 2022-02-17 Pamela Fleischmann , Lukas Haschke , Annika Huch , Annika Mayrock , Dirk Nowotka

Two words $w_1$ and $w_2$ are said to be $k$-binomial equivalent if every non-empty word $x$ of length at most $k$ over the alphabet of $w_1$ and $w_2$ appears as a scattered factor of $w_1$ exactly as many times as it appears as a…

形式语言与自动机理论 · 计算机科学 2017-01-19 Dominik D. Freydenberger , Pawel Gawrychowski , Juhani Karhumäki , Florin Manea , Wojciech Rytter

The article defines and studies the genus of finite state deterministic automata (FSA) and regular languages. Indeed, a FSA can be seen as a graph for which the notion of genus arises. At the same time, a FSA has a semantics via its…

形式语言与自动机理论 · 计算机科学 2016-05-25 Guillaume Bonfante , Florian Deloup

An absent factor of a string $w$ is a string $u$ which does not occur as a contiguous substring (a.k.a. factor) inside $w$. We extend this well-studied notion and define absent subsequences: a string $u$ is an absent subsequence of a string…

形式语言与自动机理论 · 计算机科学 2026-04-08 Maria Kosche , Tore Koß , Florin Manea , Stefan Siemer

The subword complexity of a word $w$ over a finite alphabet $\mathcal{A}$ is a function that assigns for each positive integer $n$, the number of distinct subwords of length $n$ in $w$. The subword complexity of a word is a good measure of…

组合数学 · 数学 2014-09-16 Hannah Vogel

Piecewise testable languages are a subclass of the regular languages. There are many equivalent ways of defining them; Simon's congruence $\sim_k$ is one of the most classical approaches. Two words are $\sim_k$-equivalent if they have the…

形式语言与自动机理论 · 计算机科学 2018-04-30 Lukas Fleischer , Manfred Kufleitner

Given a subset of states $S$ of a deterministic finite automaton and a word $w$, the preimage is the subset of all states mapped to a state in $S$ by the action of $w$. We study three natural problems concerning words giving certain…

形式语言与自动机理论 · 计算机科学 2020-09-22 Mikhail V. Berlinkov , Robert Ferens , Marek Szykuła

The equidistant subsequence pattern matching problem is considered. Given a pattern string $P$ and a text string $T$, we say that $P$ is an \emph{equidistant subsequence} of $T$ if $P$ is a subsequence of the text such that consecutive…

数据结构与算法 · 计算机科学 2020-02-18 Mitsuru Funakoshi , Yuto Nakashima , Shunsuke Inenaga , Hideo Bannai , Masayuki Takeda , Ayumi Shinohara

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…

离散数学 · 计算机科学 2011-08-19 Francine Blanchet-Sadri , Aleksandar Chakarov , Lucas Manuelli , Jarett Schwartz , Slater Stich

Let $w$ be a finite word over the alphabet $\{0,1\}$. For any natural number $n$, let $s_w(n)$ denote the number of occurrence of $w$ in the binary expansion of $n$ as a scattered subsequence. We study the behavior of the partial sum…

数论 · 数学 2024-11-18 Pranjal Jain , Shuo Li

Hairpin completion is an abstract operation modeling a DNA bio-operation which receives as input a DNA strand $w = x\alpha y \calpha$, and outputs $w' = x \alpha y \bar{\alpha} \bar{x}$, where $\bar{x}$ denotes the Watson-Crick complement…

形式语言与自动机理论 · 计算机科学 2011-04-14 Lila Kari , Steffen Kopecki , Shinnosuke Seki

The problem we consider is the following: Given an infinite word $w$ on an ordered alphabet, construct the sequence $\nu_w=(\nu[n])_n$, equidistributed on $[0,1]$ and such that $\nu[m]<\nu[n]$ if and only if $\sigma^m(w)<\sigma^n(w)$, where…

动力系统 · 数学 2019-11-25 Mélodie Andrieu , Anna E. Frid