Biological motivation
• Mathematical setup
• Examples and prior results
• Regular splicing languages
• regular splicing languages must have a constant
• it is decidable whether a given regular language
is splicing
• Open (characterization, circular splicing languages)
Multidimensional Symbolic Dynamics is the extension to Z2 and Zn of
(classical) symbolic dynamics.
We are still interested in shifts of finite type, sofic shifts, and factor
maps (among others).