next up previous contents
suivant : Exercice 1 - Opérandes remonter : 4.2 Preuves par induction précédent : 4.2.1 Lien avec les

4.2.2 Application aux EATPs

On veut démontrer que toute EATP contient au moins autant de parenthèses que d'opérateurs. Procédons en ayant à l'esprit la définition d'une EATP :



Sous-sections

Alexandre
2009-07-20