Subshifts as Models for MSO Logic - Computer Science > Discrete MathematicsReportar como inadecuado




Subshifts as Models for MSO Logic - Computer Science > Discrete Mathematics - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We study the Monadic Second Order MSO Hierarchy over colourings of thediscrete plane, and draw links between classes of formula and classes ofsubshifts. We give a characterization of existential MSO in terms ofprojections of tilings, and of universal sentences in terms of combinations of-pattern counting- subshifts. Conversely, we characterise logic fragmentscorresponding to various classes of subshifts subshifts of finite type, soficsubshifts, all subshifts. Finally, we show by a separation result how thesituation here is different from the case of tiling pictures studied earlier byGiammarresi et al.



Autor: Emmanuel Jeandel LIF, Guillaume Theyssier LAMA

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados