diff --git a/readme.md b/readme.md index 742760b..0298081 100644 --- a/readme.md +++ b/readme.md @@ -25,8 +25,8 @@ L'emploi des gem-graph est guidé par les choix suivants: - des objets (parties connexes isolées du graphe), - des situations (positions relatives des objets) et - des ensembles de symboles, appelés 'scripts', qui sont écrits dans l'espace en utilisant des flèches. -* Un automate (un ensemble d'états et de transitions) peut réécrire ce graphe et en gérer les versions successives (l'histoire de la simulation) - - L'utilisation de flèches plutôt que des lignes et la possibilité d'en superposer un nombre quelconque aident à optimiser cet automate. + - L'utilisation de flèches plutôt que des lignes et la possibilité d'en superposer un nombre quelconque aident à optimiser ce graphe. +* Un automate (un ensemble d'états et de transitions) peut réécrire ce graphe et en gérer les versions successives (c-à-d: l'histoire de la simulation) * Tous les états sont des états de l'espace, c'est à dire des représentations approximatives (ou 'dessins') d'un espace réel. - Des scripts (ex: noms, balises, adresses,...) peuvent être associés aux dessins pour faciliter l'identification des objets et des situations. * Les réécritures sont locales, asynchrones et aléatoires: @@ -62,3 +62,8 @@ L'emploi des gem-graph est guidé par les choix suivants: > Interpositus status inter illas et istas jacet. > Ab antecedente statu primarum ad sequentem statum secundarum iter nullius est nisi per suorum interpositum statum. --- + +opérations sur les gem-graph: +- addition - soustraction (les états et transitions changent; les propriétés qui définissent le graphe demeurent inchangées) +- expansion: par association / combinaison à d'autres modèles (la nature des états et des transitions change) +- réduction: par extraction d'un sous-ensemble de propriétés (ex: > graphes non géométriques)