Дорогие студенты,
Появились вопросы -- отчечаю.
В п.3. нужно упростить программу, и в ходе построения LTS размечать состояния счётчиками и операторами _новых_ (упрощённых) функций. В ходе упрощения, естественно, нужно выкидывать переменные и операторы, не влияющие на h.
С уважением, Константин Савекнов.