
arXiv: 2504.19537
handle: 10281/568801 , 10278/5104713 , 10447/693032 , 11390/1333984
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 et al. [Theor. Comput. Sci. 2017]. Wheeler languages have subsequently been defined as the class of regular languages for which there exists a Wheeler automaton accepting them. Besides their advantages in data indexing, these Wheelerlanguages also satisfy many interesting properties from a language theoretic point of view [Alanko et al., Inf. Comput. 2021]. A characteristic yet unsatisfying feature of Wheeler languages however is that their definition depends on a fixed order of the alphabet. In this paper we introduce the Universally Wheeler languages UW, i.e., the regular languages that are Wheeler with respect to all orders of a given alphabet. Our first main contribution is to relate UW to some very well known regular language classes. We first show that the Striclty Locally Testable languages are strictly included in UW. After noticing that UW is not closed under taking the complement, we prove that the class of languages for which both the language and its complement are in UW exactly coincides with those languages that are Definite or Reverse Definite. Secondly, we prove that deciding if a regular language given by a DFA is in UW can be done in quadratic time. We also show that this is optimal unless the Strong Exponential Time Hypothesis (SETH) fails.
Co-lexicographical Sorting; Deterministic Finite Automata; Graph Indexing; String Matching; Wheeler languages;, FOS: Computer and information sciences, Co-lexicographical Sorting; Deterministic Finite Automata; Graph Indexing; String Matching; Wheeler languages, String Matching · Deterministic Finite Automata · Wheeler languages · Graph Indexing · Co-lexicographical Sorting, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory
Co-lexicographical Sorting; Deterministic Finite Automata; Graph Indexing; String Matching; Wheeler languages;, FOS: Computer and information sciences, Co-lexicographical Sorting; Deterministic Finite Automata; Graph Indexing; String Matching; Wheeler languages, String Matching · Deterministic Finite Automata · Wheeler languages · Graph Indexing · Co-lexicographical Sorting, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
