next up previous contents
suivant : 4.3 Algorithmique dans les remonter : 4.2.2 Application aux EATPs précédent : 4.2.2 Application aux EATPs

Exercice 1 - Opérandes et opérateurs

Démontrez par induction que dans toute EATP, il y a une opérande de plus qu'il n'y a d'opérateurs.



Alexandre
2009-07-20