I hope to find an online version of accessible texts in symbolic dynamics. Marcus and Lind have a text I hope to get online. What I don't know is if any text yet exists that considers symbolic dynamics over alternative domains or realms.

Much of the current theory studies what I will call one-dimensional shifts, which are essentially translations of strings of symbols, and so (to some extent) involve the combinatorics of infinite words, or certain subsets of $F^Z$ with $F$ often a finite set or alphabet and $Z$ being the integers, so the elements are bi-infinite words. But what of dynamics on $F^{Z \times Z}$, or on more exotic structures, say, where the exponent might be a sufficiently rich directed graph? Has the theory advanced to the point where symbolic dynamics in these realms can be as clearly understood as in the one-dimensional realm?

An ideal answer would come from a student or researcher who can fully address questions like "In order to get ready for studying SD in such realms, which portions of Marcus and Lind (or other accessible texts) should I read first?" or like "What are the one or two papers that illumined the subject of exotic SD for you?". I also welcome other references or suggested lines of research.

I am quite at the beginning of such studies; it won't bother me if you assume I am totally ignorant of dynamics in supplying an answer. My motivation is to find a few undecidable (in the sense of Turing computable) problems that I can use to gauge the decidability of certain problems in some resticted systems of second-order logic. A possible line of attack involves seeing how much symbolic dynamics in one-dimension carries over to more exotic realms. I welcome commments about such connections, too.

Gerhard "Time To Learn Something New" Paseman, 2011.04.29