L'objectif de ce projet est le développement de plusieurs applications permettant la validation (ou la réfutation !) de travaux actuels sur les systèmes de réécriture de mots à une seule règle préservant les longueurs.
De manière très surprenante, autant la définition de ces systèmes est très simple, autant les propriétés de ces systèmes sont difficiles à étudier. Les applications à réaliser dans ce projet de M1 apporteront une aide indispensable à l'avancement de ces travaux.
Les développements à réaliser sont de 3 types :
1) analyse "objet" des notions principales
2) implantation d'algorithmes ou semi-algorithmes existant
3) visualisation graphique des objets de 1) et des résultats de 2)
Le langage de développement est java; le travail nécessite la compréhension préalable de notions formelles (du type automates).
Liens associés :
|
