интерпретатор рекуррентными соотношениями pascal

[denisbrain]

название надо по русски переделать -интерпретатор рекуррентных соотношений на языке pascal/delphi

Добрый день/вечер/утро!
вопрос по интерпретатору рекуррентных соотношений
У кого есть исходник подобной штуки или кто может подсказать в чем проблема.
код Borland Pascal ниже

примерно как это должно работать
есть файл Input.txt
2
x1=%+%x1+%x2
x2=%+%x1+%x2
и файл Output.txt
который содержит примерно следующие
Down
1=(%)x1+(%)x2+%
1=(%)x1+(%)x2+%2=(%)x1+(%)x2+%
Up
1=(%)x1+(%)x2+%%
1=(%)x1+(%)x2+%%2=(%)x1+(%)x2+%
Simplify result
x[1]=%%
x[2]=%

честно говоря вообще ничего не понимаю, 1 с чего начать
2 кто сможет проконсультировать ?