作为MSO逻辑模型的子移位
Subshifts as Models for MSO Logic
摘要：
我们研究了离散平面上的一元二阶（MSO）染色族，并在公式类和子移位类之间建立了联系。我们给出了一个表征存在MSO的瓷砖的预测方面，和普遍的句子的组合的“模式计数”subshifts。相反，我们将逻辑片段对应于各种类型的子移位（有限类型的子移位，sofic子移位，所有子移位）。最后，我们展示了分离的结果，这里的情况是如何不同的情况下，平铺图片研究Giammarresi等人。
英文摘要：
We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw links between classes of formula and classes of subshifts. We give a characterization of existential MSO in terms of projections of tilings, and of universal sentences in terms of combinations of "pattern counting" subshifts. Conversely, we characterise logic fragments corresponding to various classes of subshifts (subshifts of finite type, sofic subshifts, all subshifts). Finally, we show by a separation result how the situation here is different from the case of tiling pictures studied earlier by Giammarresi et al.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
