я правильно понимаю что алгоритм примерно такой?
Пользователь вводит с клавиатуры начальную формулу и конечную,и правила подстановки.Возьмем 3 строки.В одной будет начальная формула.В другой конечная.В третье промежуточные вычисления.Затем мы берем начальное слово и применяем к нему первую подстановку результат записываем в промежуточную строку.Затем к промежуточной формуле применяем ещё подстановки...Вопрос в том нужно ли к ней снова применять ту подстановку которую мы применили или перейти к другой.Это похоже просто перебор....
Вот реализовать его я совсем не могу.