Languages Design
GOAL
Using the now almost ready words (next generation) library, it's time to think about a Language category. This library should include the following feature :
- rationnal languages and automata
- subshift of finite type / Rauzy graphs
- language of infinite word (almost done in words)
- language of a morphism
We have to think and be careful with the non empty intersections with :
- the monoidal category (especially the free one)
- graphs and trees
- representation of numbers