Subshifts, Languages and Logic

Details Subshifts, Languages and Logic Subshifts, Languages and Logic

2009-04-16

arxiv.org/abs/0904.2457v1

13th International Conference on Developments in Language Theory, Stuttgart : Allemagne (2009)

Computer Science

Discrete Mathematics

Scientific paper

We study the Monadic Second Order (MSO) Hierarchy over in?nite 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 in?nite pictures (subshifts of ?nite type,
so?c subshifts).

Affiliated with

Also associated with

No associations

Rating

Subshifts, Languages and Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Subshifts, Languages and Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Subshifts, Languages and Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-464732