Si vous arrivez à donner une définition claire, on pourra l’implémenter dans un modèle formel.
Je suis un peu déçu par ce raccourci qui apparaît aussi en début d'article :
- "dans un modèle formel" : en fait dans plusieurs, ou de plusieurs façons. Tu le sous-entends mais c'est important de le dire ;
- le modèle formel, malgré toute la bonne volonté du monde et la puissance algorithmique (amen), aura une part d'interprétation, et donc il va se jouer quelque chose dans l'interstice des formules entre le langage et l'implémentation informatique. Je ne dis pas qu'il y aura un décalage, mais que l'implémentation va probablement influencer sur la définition, du fait des contraintes algorithmiques. C'est ce qui est visible dans cet article, et c'est très intéressant.