scholarly journals Minimal Automaton for Multiplying and Translating the Thue-Morse Set

10.37236/9068 ◽  
2021 ◽  
Vol 28 (3) ◽  
Author(s):  
Émilie Charlier ◽  
Célia Cisternino ◽  
Adeline Massuir
Keyword(s):  
Fixed Point ◽  
Exact Formula ◽  
The State ◽  
Characteristic Sequence ◽  
State Complexity ◽  
Positive Integers

The Thue-Morse set $\mathcal{T}$ is the set of those non-negative integers whose binary expansions have an even number of $1$'s. The name of this set comes from the fact that its characteristic sequence is given by the famous Thue-Morse word $${\tt 0110100110010110\cdots},$$ which is the fixed point starting with ${\tt 0}$ of the word morphism ${\tt 0\mapsto 01}$, ${\tt 1\mapsto 10}$. The numbers in $\mathcal{T}$ are commonly called the evil numbers. We obtain an exact formula for the state complexity of the set $m\mathcal{T}+r$ (i.e. the number of states of its minimal automaton) with respect to any base $b$ which is a power of $2$. Our proof is constructive and we are able to explicitly provide the minimal automaton of the language of all $2^p$-expansions of the set of integers $m\mathcal{T}+r$ for any positive integers $p$ and $m$ and any remainder $r\in\{0,\ldots,m{-}1\}$. The proposed method is general for any $b$-recognizable set of integers.

On the state complexity of intersection of regular languages

1991 ◽  
Vol 22 (3) ◽  
pp. 52-54 ◽  
Author(s):  
Sheng Yu ◽  
Qingyu Zhuang
Keyword(s):  
The State ◽  
Regular Languages ◽  
State Complexity

scholarly journals State Complexity of Neighbourhoods and Approximate Pattern Matching

2018 ◽  
Vol 29 (02) ◽  
pp. 315-329 ◽  
Author(s):  
Timothy Ng ◽  
David Rappaport ◽  
Kai Salomaa
Keyword(s):  
Lower Bound ◽  
Pattern Matching ◽  
Finite Automaton ◽  
The State ◽  
Worst Case ◽  
State Complexity ◽  
Approximate Pattern Matching ◽  
The Given ◽  
Nondeterministic Finite Automaton ◽  
Distance Formula

The neighbourhood of a language [Formula: see text] with respect to an additive distance consists of all strings that have distance at most the given radius from some string of [Formula: see text]. We show that the worst case deterministic state complexity of a radius [Formula: see text] neighbourhood of a language recognized by an [Formula: see text] state nondeterministic finite automaton [Formula: see text] is [Formula: see text]. In the case where [Formula: see text] is deterministic we get the same lower bound for the state complexity of the neighbourhood if we use an additive quasi-distance. The lower bound constructions use an alphabet of size linear in [Formula: see text]. We show that the worst case state complexity of the set of strings that contain a substring within distance [Formula: see text] from a string recognized by [Formula: see text] is [Formula: see text].

scholarly journals Most Complex Non-Returning Regular Languages

2019 ◽  
Vol 30 (06n07) ◽  
pp. 921-957
Author(s):  
Janusz A. Brzozowski ◽  
Sylvie Davies
Keyword(s):  
Star Product ◽  
Upper Bounds ◽  
The State ◽  
Boolean Operations ◽  
Deterministic Finite Automaton ◽  
Initial State ◽  
Complexity Measures ◽  
State Complexity ◽  
Complex Sequence ◽  
Binary Operations

A regular language [Formula: see text] is non-returning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jirásková derived upper bounds on the state complexity of boolean operations and Kleene star, and proved that these bounds are tight using two different binary witnesses. They derived tight upper bounds for concatenation and reversal using three different ternary witnesses. These five witnesses use a total of six different transformations. We show that for each [Formula: see text], there exists a ternary witness of state complexity [Formula: see text] that meets the bound for reversal, and restrictions of this witness to binary alphabets meet the bounds for star, product, and boolean operations. Hence all of these operations can be handled simultaneously with a single witness, using only three different transformations. We also derive tight upper bounds on the state complexity of binary operations that take arguments with different alphabets. We prove that the maximal syntactic semigroup of a non-returning language has [Formula: see text] elements and requires at least [Formula: see text] generators. We find the maximal state complexities of atoms of non-returning languages. We show that there exists a most complex sequence of non-returning languages that meet the bounds for all of these complexity measures. Furthermore, we prove there is a most complex sequence that meets all the bounds using alphabets of minimal size.

STATE COMPLEXITY OF ADDITIVE WEIGHTED FINITE AUTOMATA

2007 ◽  
Vol 18 (06) ◽  
pp. 1407-1416 ◽  
Author(s):  
KAI SALOMAA ◽  
PAUL SCHOFIELD
Keyword(s):  
Upper Bound ◽  
Finite Automaton ◽  
Regular Language ◽  
Finite Automata ◽  
The State ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Weighted Finite Automata

It is known that the neighborhood of a regular language with respect to an additive distance is regular. We introduce an additive weighted finite automaton model that provides a conceptually simple way to reprove this result. We consider the state complexity of converting additive weighted finite automata to deterministic finite automata. As our main result we establish a tight upper bound for the state complexity of the conversion.

scholarly journals State Complexity of Suffix Distance

2019 ◽  
Vol 30 (06n07) ◽  
pp. 1197-1216
Author(s):  
Timothy Ng ◽  
David Rappaport ◽  
Kai Salomaa
Keyword(s):  
Lower Bound ◽  
Finite Automaton ◽  
Regular Language ◽  
Upper Bounds ◽  
The State ◽  
Deterministic Finite Automaton ◽  
Tight Bound ◽  
State Complexity

The neighbourhood of a regular language with respect to the prefix, suffix and subword distance is always regular and a tight bound for the state complexity of prefix distance neighbourhoods is known. We give upper bounds for the state complexity of the neighbourhood of radius [Formula: see text] of an [Formula: see text]-state deterministic finite automaton language with respect to the suffix distance and the subword distance, respectively. For restricted values of [Formula: see text] and [Formula: see text] we give a matching lower bound for the state complexity of suffix distance neighbourhoods.

STATE COMPLEXITY AND APPROXIMATION

2012 ◽  
Vol 23 (05) ◽  
pp. 1085-1098 ◽  
Author(s):  
YUAN GAO ◽  
SHENG YU
Keyword(s):  
The State ◽  
General Algorithm ◽  
Future Research ◽  
State Complexity ◽  
Combined Operations ◽  
Essential Questions

We discuss a number of essential questions concerning the state complexity research. The questions include why many basic problems were not studied earlier, whether there is a general algorithm for state complexity of combined operations, and whether there is a new and effective approach in this area of research. The concept of state complexity approximation is also discussed. We show that state complexity approximation can be used to obtain good results when the exact state complexities are difficult to find and when the exact state complexities are too complex to comprehend. We also list a number of questions for future research in this area.

Empirical Theorems in Diophantine Analysis

1923 ◽  
Vol 16 (5) ◽  
pp. 257-265
Author(s):  
R. D. Carmichael
Keyword(s):  
The State ◽  
Sums Of Squares ◽  
Carnegie Institution ◽  
Comprehensive Account ◽  
History Of ◽  
Positive Integers ◽  
Theory Of Numbers

The larger portion of the theorems in Diophantine Analysis probably existed first as empirical or conjectural theorems. Many of them passed to the state of proved theorems before they left the hands of those who discovered them; many others were proved in the same generation in which they were made public; not a few required a longer period for their proof; and several remain today as a silent challenge to the skill and power of contemporary mathematicians. The remarks may be illustrated with a brief account of the history of the problem of representing numbers (that is, positive integers) as sums of squares of integers and of higher powers. Anyone interested in further details will find them in the comprehensive account of Diophantine Analysis which fills volume II (xxvi + 803 pages) of L. E. Dickson's “History of the Theory of Numbers,” Carnegie Institution, Washington, D. C. We shall make free use of the material summarized in a masterly way in this volume.

State Complexity of Regular Tree Languages for Tree Matching

2016 ◽  
Vol 27 (08) ◽  
pp. 965-979
Author(s):  
Sang-Ki Ko ◽  
Ha-Rim Lee ◽  
Yo-Sub Han
Keyword(s):  
The State ◽  
Top Down ◽  
Matching Problem ◽  
Tree Language ◽  
State Complexity ◽  
Regular Tree ◽  
Language L ◽  
Different Types ◽  
Tree Languages

We study the state complexity of regular tree languages for tree matching problem. Given a tree t and a set of pattern trees L, we can decide whether or not there exists a subtree occurrence of trees in L from the tree t by considering the new language L′ which accepts all trees containing trees in L as subtrees. We consider the case when we are given a set of pattern trees as a regular tree language and investigate the state complexity. Based on the sequential and parallel tree concatenation, we define three types of tree languages for deciding the existence of different types of subtree occurrences. We also study the deterministic top-down state complexity of path-closed languages for the same problem.

Sign in / Sign up

Export Citation Format

Share Document