|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
Нет наработок или кода, если нужно готовое решение - создайте тему в разделе Фриланс и оплатите работу. Название темы включает слова - "Помогите", "Нужна помощь", "Срочно", "Пожалуйста". Название темы слишком короткое или не отражает сути вашего вопроса. Тема исчерпала себя, помните, один вопрос - одна тема Прочитайте правила и заново правильно создайте тему. |
|
Опции темы | Поиск в этой теме |
17.01.2019, 01:26 | #1 |
Новичок
Джуниор
Регистрация: 17.01.2019
Сообщений: 1
|
СРОЧНОО!!!!! НУЖНА ПОМОЩЬ
Вопрос: Показать, что отношение функциональной эквивалентности стандартных схем обладает всеми свойствами математического отношения эквивалентности:
а) рефлексивность: 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 Доказательство необходимо. |
17.01.2019, 02:13 | #2 |
Александр
Администратор
Регистрация: 28.10.2006
Сообщений: 17,501
|
Тут не решатель задач. Если кто-то просто решит за вас, это вряд ли поможет вам разобраться.
Назовите нормально тему, покажите свои наработки, конкретные вопросы и т.п. http://www.programmersforum.ru/announcement.php?f=31 Или в раздел Фриланс если вы не хотите ничего делать, а ищете кого-то, кто выполнит ваши задачи за вознаграждение. |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
помоги пожалуйста срочноо | lizamend | Помощь студентам | 0 | 27.09.2017 17:56 |
Срочноо помогите!!!!!!!!!!! | Марика13 | Паскаль, Turbo Pascal, PascalABC.NET | 0 | 20.05.2016 21:08 |
Нужна помощь! | black2man | C/C++ Базы данных | 4 | 07.12.2014 21:13 |
Очень нужна помощь c матрицами, макросами в Excel. Заранее благодарен(поверьте, очень-очень нужна помощь) | Farridjan | Помощь студентам | 1 | 03.07.2009 12:24 |
Очень нужна помощь с написанием программы... срочно(буду благодарен за помощь) | 5Paladin5 | Помощь студентам | 3 | 02.07.2009 09:12 |