|
⇤ ← Revision 1 as of 2009-06-14 09:41:10
Size: 450
Comment:
|
Size: 537
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| Using the now almost ready words (next generation) library, it's time to think about a Language category. The following topics should include the following feature : * subshift of finite type * language of an infinite word (almost done in words) |
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) |
| Line 10: | Line 11: |
| * | |
| Line 14: | Line 14: |
| * graphs and trees * representation of numbers |
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