Regular languages as images of local functions over small alphabets

• Published in: Information and computation Vol. 301; p. 105206
• Main Authors: Crespi Reghizzi, Stefano, San Pietro, Pierluigi
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.12.2024
• Subjects: Local rational function/relation; Medvedev's theorem; Regular language; Strictly locally testable language; Regular language; Local rational function/relation; Medvedev's theorem; Strictly locally testable language
• ISSN: 0890-5401
• DOI: 10.1016/j.ic.2024.105206

The characterization (a.k.a. Medvedev theorem) of regular languages as homomorphic letter-to-letter image of local languages, over an alphabet of cardinality depending on the recognizer size, is extended by using strictly locally testable (k-slt) languages, k>1, and a local rational function instead of a homomorphism. By encoding DFA computations via comma-free codes, we prove that regular languages are the output of quasi-length-preserving local functions, defined on alphabets with one more letter than in the language. A binary alphabet suffices if the local function is allowed to shorten input length, or if the regular language has polynomial density. If local relations are considered instead of functions, a binary input alphabet suffices for any regular language. A new simpler proof is then obtained of the extension of Medvedev's theorem stating that any regular language is the homomorphic image of an slt language over an alphabet of double size.