Subshifts, Languages and Logic
Discrete Mathematics
2016-11-25 v1 Logic in Computer Science
Abstract
We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tilings. Conversely, we characterise logic fragments corresponding to various classes of infinite pictures (subshifts of finite type, so?c subshifts).
Keywords
Cite
@article{arxiv.0904.2457,
title = {Subshifts, Languages and Logic},
author = {Emmanuel Jeandel and Guillaume Theyssier},
journal= {arXiv preprint arXiv:0904.2457},
year = {2016}
}