activity
20092025
most citedLanguages invariant under more symmetries: overlapping factors versus palindromic richness

20 citations · 133 across the 31 of their papers we have counts for

collaborators
Showing 2020Show all

2 papers · 1 filter

math.CO2020★ 2 cited

A characterization of Sturmian sequences by indistinguishable asymptotic pairs

Sebastián Barbieri, Sébastien Labbé, Štěpán Starosta

We give a new characterization of biinfinite Sturmian sequences in terms of indistinguishable asymptotic pairs. Two asymptotic sequences on a full -shift are indistingu…

cs.FL2020

Binary intersection formalized

Štěpán Holub, Štěpán Starosta

We provide a reformulation and a formalization of the classical result by Juhani Karhumäki characterizing intersections of two languages of the form . We u…