Эрбрановский универсум

[triasoft]

Нужно реализовать программу поиска эрбрановкого универсума.

Задание: Разработать программу которая находит множества i-ого уровня Hi эрбрановского универсума.
Вход: Номер i, множество макстермов S
Выход: Hi
--------------------------------------------------
Теперь поподробнее распишу задание:
данные считываеются из текстового файла.
файл содержит в себе множество макстермов S. Пример файла:

S={a,f{x,y},g(x)}.
Hi
Где
а - константа.
f - функция, х и у - ее аргументы
g - функция, х - ее аргумент
Hi - множество i-ого уровня

На выходе должны сформироваться следующие значения:
Если был введен уровень i=0 то выводим: H0 = {a}
Если был введен уровень i=1 то выводим: H1={а,f(a,a),g(a)}
Если был введен уровень i=2 то выводим: H2={а,f(a,a),g(a),f(f(a,a),g(a)), f(g(a),f(a,a)),g(f(a,a))}
Если был введен уровень i=3 то выводим: Н3={а,f(a,a),g(a)}, H2={а, f(a,a), g(a), f(f(a,a),g(a)), f(g(a),f(a,a)), g(f(a,a))}, f( f(f(a,a),g(a)),f(g(a),f(a,a))), f(f(g(a),f(a,a)),f(f(a,a),g(a))), f( f(f(a,a),g(a)),g(f(a,a))), f(g(f(a,a)),f(f(a,a),g(a))), f(f(g(a),f(a,a)),g(f(a,a))), f(g(f(a,a)), f(g(a),f(a,a))), g(f(g(a),f(a,a))), g(f(f(a,a),g(a)))}
-------------------------------------------------------------------
Язык программирования PASCAL.

[vasilevski]

vasilevski[]mail.ru готов выполнить

[Virtson]

main[]viplabs.ru

Математическое образование.

[mikefreel]

Готов взяться за проект
номер ICQ: 565460353 или 480964456
mikefreelance@rambler.ru