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).
Entropy of trees & tree automata.
Entropy of tree automata = joint spectral radius.
The zero-error coding problem with states.
Approximating zero-error capacities of codes.
Open problems, etc.