Systèmes de Réécriture

Système de réécriture

Ensemble formel de règles de transformation permettant de modifier des expressions symboliques selon des schémas prédéfinis. Constitue le fondement mathématique de nombreux mécanismes de calcul et de preuve automatique.

← Terug