Здравствуйте, Aleх, Вы писали:

A>Здравствуйте, thesz, Вы писали:

T>>Насыщение равенствами, вкратце: из кусочка программы строим эквивалентные ему путём обхода вширь. Как раз поиск по лабиринту.

A>Я правильно понимаю, что по ссылке term rewriting в чистом виде?

Любое вычисление сводится к term rewriting. Поэтому, да, по ссылке term rewriting в чистом виде.

Там ещё оптимизации со схлопыванием равных выражений (a+0 -> a <- a+1-1) в одно. Это важная часть.