We gratefully acknowledge support from
the Simons Foundation and member institutions.

Formal Languages and Automata Theory

New submissions

[ total of 8 entries: 1-8 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Wed, 19 Jan 22

[1]  arXiv:2201.05954 [pdf, other]
Title: Mechanical proving with Walnut for squares and cubes in partial words
Authors: John Machacek
Subjects: Formal Languages and Automata Theory (cs.FL)

Walnut is a software that using automata can prove theorems in combinatorics on words about automatic sequences. We are able to apply this software to both prove new results as well as reprove some old results on avoiding squares and cubes in partial words. We also define the notion of an antisquare in a partial word and begin the study of binary partial words which contain only a fixed number of distinct squares and antisquares.

[2]  arXiv:2201.06115 [pdf, other]
Title: The Normalized Edit Distance with Uniform Operation Costs is a Metric
Comments: 14 pages, 0 figures, to be submitted to CPM 2022
Subjects: Formal Languages and Automata Theory (cs.FL)

We prove that the normalized (Levenshtein) edit distance proposed in [Marzal and Vidal 1993] is a metric when the cost of all the edit operations are the same. This closes a long standing gap in the literature where several authors noted that this distance does not satisfy the triangle inequality in the general case, and that it was not known whether it is satisfied in the uniform case where all the edit costs are equal.

[3]  arXiv:2201.06826 [pdf, ps, other]
Title: Characterizing level one in group-based concatenation hierarchies
Subjects: Formal Languages and Automata Theory (cs.FL)

We investigate two operators on classes of regular languages: polynomial closure (Pol) and Boolean closure (Bool). We apply these operators to classes of group languages G and to their well-suited extensions G+, which is the least Boolean algebra containing G and the singleton language containing the empty word. This yields the classes Bool(Pol(G)) and Bool(Pol(G+)). These classes form the first level in important classifications of classes of regular languages, called concatenation hierarchies, which admit natural logical characterizations. We present generic algebraic characterizations of these classes. They imply that one may decide whether a regular language belongs to such a class, provided that a more general problem called separation is decidable for the input class G. The proofs are constructive and rely exclusively on notions from language and automata theory.

Cross-lists for Wed, 19 Jan 22

[4]  arXiv:2201.06636 (cross-list from math.NT) [pdf, other]
Title: On digital sequences associated with Pascal's triangle
Comments: 24 pages, 12 figures
Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

We consider the sequence of integers whose $n$th term has base-$p$ expansion given by the $n$th row of Pascal's triangle modulo $p$ (where $p$ is a prime number). We first present and generalize well-known relations concerning this sequence. Then, with the great help of Sloane's On-Line Encyclopedia of Integer Sequences, we show that it appears naturally as a subsequence of a $2$-regular sequence. Its study provides interesting relations and surprisingly involves odious and evil numbers, Nim-sum and even Gray codes. Furthermore, we examine similar sequences emerging from prime numbers involving alternating sum-of-digits modulo~$p$. This note ends with a discussion about Pascal's pyramid involving trinomial coefficients.

Replacements for Wed, 19 Jan 22

[5]  arXiv:1512.06788 (replaced) [pdf, other]
Title: State machines for large scale computer software and systems
Authors: Victor Yodaiken
Subjects: Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:2106.13852 (replaced) [pdf, ps, other]
Title: Decomposition of transition systems into sets of synchronizing state machines
Subjects: Formal Languages and Automata Theory (cs.FL); Hardware Architecture (cs.AR); Systems and Control (eess.SY)
[7]  arXiv:2012.04874 (replaced) [pdf, other]
Title: A Framework for Current-State Opacity under Dynamic Information Release Mechanism
Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:2103.15265 (replaced) [pdf, other]
Title: Polychrony as Chinampas
Comments: 32 pages. We added code for the algorithms
Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT); Neurons and Cognition (q-bio.NC)
[ total of 8 entries: 1-8 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2201, contact, help  (Access key information)