Two-way Automata and Regular Languages of Overlapping Tiles
Anne Dicky, David Janin · Fundamenta Informaticae · 2015
We consider classes of languages of overlapping tiles, i.e., subsets of the McAlister monoid: the class REG of languages definable by Kleene’s regular expressions, the class MSO of languages definable by formulas of monadic second-order logic, and th