Deprecated function: Optional parameter $js declared before required parameter $element is implicitly treated as a required parameter in include_once() (line 1445 of /var/www/html/mathtube.org/includes/bootstrap.inc).
Deprecated function: Optional parameter $input declared before required parameter $form_state is implicitly treated as a required parameter in include_once() (line 1445 of /var/www/html/mathtube.org/includes/bootstrap.inc).
Develop automata theory inside a restricted set of words
(typically the factors of a shift)
Find classes of shifts for which some problems are simpler
(examples below).
Find natural generalizations of classes like Sturmian shifts
(like normal sets below).
Understand the role played by free groups in symbolic systems
(Sturmian or interval exchange shifts).
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).