Ticket #12227 (new enhancement)

Opened 5 months ago

Last modified 5 months ago

Adic languages

Reported by: vdelecroix Owned by: vdelecroix
Priority: major Milestone: sage-5.0
Component: combinatorics Keywords: substitution, adic, symbolic dynamics
Cc: sstarosta, tmonteil Work issues:
Report Upstream: N/A Reviewers:
Authors: Vincent Delecroix Merged in:
Dependencies: #12224, #12226 Stopgaps:

Description (last modified by vdelecroix) (diff)

An adic language is a symbolic counterpart to the renormalization in dynamics and generalize what are called "substitution fixed point" (roughly implemented in sage/combinat/words/). Such kind of languages are described by an infinite sequence of substitutions and many algorithms exist

  • enumeration of words of length n
  • enumeration of left/right special factors
  • synchronization delays
  • ...

Particular cases should be consider apart:

  • Sturmian languages
  • Interval Exchange Transformations
  • Free Group Automorphisms
  • ...

see also: #12224, #12225

Change History

comment:1 Changed 5 months ago by vdelecroix

  • Type changed from PLEASE CHANGE to enhancement
  • Component changed from PLEASE CHANGE to combinatorics

comment:2 Changed 5 months ago by vdelecroix

  • Owner changed from Vincent Delecroix to vdelecroix
  • Dependencies changed from #12224 to #12224, #12226
  • Description modified (diff)
Note: See TracTickets for help on using tickets.