L-systèmes
Série 6 – corrigé

Le code du corrigé est fourni sous la forme d'une archive Zip, et des explications concernant les principales difficultés des exercices sont données ci-dessous.

Pour la première partie, seul le constructeur mérite d'être discuté, les méthodes d'accès étant triviales. La solution évidente pour définir ce constructeur serait de faire en sorte qu'il :

1. copie la table associative des règles (pour garantir l'immuabilité de la classe) avant de la stocker dans l'attribut correspondant,
2. convertisse la chaîne représentant l'ensemble des caractères de dessin de ligne en un ensemble avant de le stocker dans l'attribut correspondant,
3. stocke les autres paramètres dans les attributs correspondants.

Toutefois, cette solution aurait deux inconvénients lorsque le constructeur est appelé par la méthode d'évolution (evolve) définie plus bas, à savoir :

1. la table associative des règles devrait être copiée à chaque évolution, ce qui n'est pas nécessaire dans le cas présent, la table passée au constructeur par la méthode evolve étant immuable,
2. l'ensemble des caractères de dessin devrait être à nouveau converti en chaîne avant de pouvoir être passé au constructeur, qui s'empresserait de le reconvertir en ensemble.

Dès lors, il paraît plus judicieux de définir deux constructeurs séparés :

1. le premier, qui est le constructeur principal, est privé, ne copie pas la table des règles et prend l'ensemble des caractères de dessin sous forme d'une ensemble et pas d'une chaîne, ensemble qu'il ne copie pas non plus,
2. le second, un constructeur secondaire, est publique et se contente de copier la table des règles et de convertir la chaîne des caractères de dessin en ensemble avant d'appeler le premier.

Avec cette organisation, la méthode evolve peut appeler le premier constructeur, en lui garantissant que la table des règles et le tableau des caractères de dessin sont immuables. Dans ce cas particulier, le gain en performances et utilisation mémoire est négligeable, mais cette technique est utilisable dans d'autres contextes et mérite d'être connue.

Les deux constructeurs sont donc définis ainsi :

private LSystem(String string,
		Map<Character, String> rules,
		Set<Character> lineChars,
		int turningAngle) {
  this.string = string;
  this.rules = rules;
  this.lineChars = lineChars;
  this.turningAngle = turningAngle;
}

public LSystem(String string,
	       Map<Character, String> rules,
	       String lineChars,
	       int turningAngle) {
  this(string,
       unmodifiableMap(new HashMap<>(rules)),
       setFromString(lineChars),
       turningAngle);
}

le second s'aidant de la méthode de conversion d'une chaîne en ensemble de caractères ci-dessous :

private static Set<Character> setFromString(String s) {
  Set<Character> set = new HashSet<>();
  for (int i = 0; i < s.length(); ++i)
    set.add(s.charAt(i));
  return unmodifiableSet(set);
}

Pour faire évoluer un L-système, il suffit de parcourir les caractères de sa chaîne de départ, et de remplacer chacun d'eux par la chaîne leur correspondant dans les règles. Etant donné que les caractères pour lesquels aucune règle n'existe doivent être gardés tels quels, la méthode getOrDefault de l'interface Map peut être utilisée ici à bon escient.

public LSystem evolve() {
  StringBuilder b = new StringBuilder();
  for (int i = 0; i < string.length(); ++i) {
    char c = string.charAt(i);
    b.append(rules.getOrDefault(c, String.valueOf(c)));
  }
  String s = b.toString();
  return new LSystem(s, rules, lineChars, turningAngle);
}

Une fois la première méthode d'évolution définie, il n'est pas difficile de définir la seconde, qui consiste simplement à appliquer la première le nombre de fois donné.

public LSystem evolve(int steps) {
  if (! (steps >= 0))
    throw new IllegalArgumentException();

  LSystem l = this;
  for (int i = 0; i < steps; ++i)
    l = l.evolve();
  return l;
}

En examinant le flocon de Koch, on se rend compte qu'il est composé de trois courbes de Koch organisées en triangle. Pour l'obtenir, il suffit donc d'utiliser la chaîne de départ suivante :

F++F++F

A noter que le sens de rotation est important (c-à-d qu'il n'est pas possible d'utiliser systématiquement - à la place de + dans cette chaîne) car la pointe de la courbe de Koch doit se trouver à l'extérieur du triangle formant le flocon.

La définition des L-systèmes de cet exercice est très simple, son principal intérêt étant les images produites par ces systèmes.