3
Яка різниця між терміном переписування та відповідності шаблону?
Оскільки у Lambda the Ultimate не було відповіді, я спробую це ще раз: системи переписування термінів використовуються, наприклад, в автоматизованій теоремі, що підтверджує символічний розрахунок, і, звичайно, для визначення формальних граматик. Є кілька мов програмування, заснованих на переписуванні термінів, але, наскільки я розумію, ця концепція більш відома як відповідність шаблонів …