@@ -113,7 +113,7 @@ Il est ensuite intéressant de faire varier les différents paramètres et regar
# Système de réécriture
Le mécanisme de réécriture est largement utilisé en informatique et en mathématique. La dérivation de fonction par exemple, n'est au bout du compte qu'une réécriture. La réécriture s'appuie sur le remplacement d'une sous-partie d'un objet par un autre. Ces objets, par exemple, peuvent être des termes qui peuvent alors être modélisés par arbres informatiques. Les nœuds qui ne sont pas des feuilles sont alors des opérations et les feuilles des termes constants. Un système de réécriture est défini par un ensemble de règles de la forme $`r \\rightarrow r'`$. Cette dernière indique comment le sous-terme $`r`$ se remplace par $`r'`$.
Le mécanisme de réécriture est largement utilisé en informatique et en mathématique. La dérivation de fonction par exemple, n'est au bout du compte qu'une réécriture. La réécriture s'appuie sur le remplacement d'une sous-partie d'un objet par un autre. Ces objets, par exemple, peuvent être des termes qui peuvent alors être modélisés par arbres informatiques. Les nœuds qui ne sont pas des feuilles sont alors des opérations et les feuilles des termes constants. Un système de réécriture est défini par un ensemble de règles de la forme $`r \rightarrow r'`$. Cette dernière indique comment le sous-terme $`r`$ se remplace par $`r'`$.
## L-systèmes
...
...
@@ -268,7 +268,7 @@ On peut également définir des règle qui ne dépendent uniquement d'un unique
ex : $`A<B>B \\rightarrow BA`$ (si B est placé entre A et B, il devient BA)
Ce type de règles est utilisé pour de la génèration musicale, par exemple.
Ce type de règles est utilisé pour de la génération musicale, par exemple.
