СРОЧНОО!!!!! НУЖНА ПОМОЩЬ

[Анастасия19101995]

Вопрос: Показать, что отношение функциональной эквивалентности стандартных схем обладает всеми свойствами математического отношения эквивалентности:
а) рефлексивность: S⁓S;
б) симметричность: S_1⁓S_2⟺ S_2⁓S_1;
в) транзитивность: : S_1⁓S_2, : S_2⁓S_3 ⟹ : S_1⁓S_3.

Я написала о том, что Стандартные схемы в базисе В функциональное эквивалентны (S⁓S), если для любой интерпретации I базиса В программы ( S_1⁓ I) и ( S_2⁓ I) либо обе зацикливаются, либо обе останавливаются с одинаковым результатом.
а) рефлексивность: S⁓S;
Программа зацикливания эквивалентна самой себе.
б) симметричность: S_1⁓S_2⟺ S_2⁓S_1;
Отношение R является симметричным, если для любой интерпретации I схем программ〖 S〗_1, S_2 выполнение отношения S_1 RS_2 влечет выполнение S_2 RS_1.
в) транзитивность: :S_1⁓S_2, : S_2⁓S_3 ⟹ : S_1⁓S_3. Цепочка зацикливания, реализованная по свойству симметрии: S_1зацикливается ⟹S_2зацикливается, S_2зацикливается ⟹S_3 зацикливается ⟹S_1⁓S_3 – зацикливаются.
Рефлексивное, симметричное, транзитивное отношение называют отношением эквивалентности.

Но этого не достаточно
Прошу помочь

Мне необходимо рассмотреть 2 варианта:
1. Программа зацикливается
2. Программа заканчивается результатом Val x
Доказательство необходимо.

[Alar]

Тут не решатель задач. Если кто-то просто решит за вас, это вряд ли поможет вам разобраться.

Назовите нормально тему, покажите свои наработки, конкретные вопросы и т.п.
http://www.programmersforum.ru/announcement.php?f=31

Или в раздел Фриланс если вы не хотите ничего делать, а ищете кого-то, кто выполнит ваши задачи за вознаграждение.