Правило переписывания: различия между версиями

676 байт добавлено , 22 декабря 2009

Создана новая страница размером '''Правило переписывания''' (''Rewriting rule'') - упорядоченная пара термов <math>s</math>, <...