Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 6 ] 
Автор Сообщение
 Заголовок сообщения: Редукция
СообщениеДобавлено: 10 дек 2015, 21:51 
Не в сети
Продвинутый
Зарегистрирован:
23 окт 2014, 15:46
Сообщений: 78
Cпасибо сказано: 7
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Посмотрите, пжл, правильно ли проведена редукция:
1) [math]( \lambda ab.a(b(ax)))(\lambda y.yy)(\lambda z.zzz)=(\lambda b.(\lambda y.yy)(b(ax)))(\lambda z.zzz)=(\lambda y.yy)((\lambda z.zzz)(ax))=(\lambda y.yy)(axaxax)=axaxaxaxaxax[/math]

2) [math](\lambda xy.yx)((\lambda t.tt)s)(\lambda x.x)=(\lambda y.y((\lambda t.tt)s))(\lambda x.x)=(\lambda y.y(ss))(\lambda x.x)=(\lambda x.x)(ss)=ss[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Редукция
СообщениеДобавлено: 10 дек 2015, 23:39 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
В первом равенстве вы не заменили второе вхождение a.

Второй пример вроде правильно.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Редукция
СообщениеДобавлено: 10 дек 2015, 23:58 
Не в сети
Продвинутый
Зарегистрирован:
23 окт 2014, 15:46
Сообщений: 78
Cпасибо сказано: 7
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
3D Homer, подправила
[math](\lambda b(\lambda y.yy)(b((\lambda y.yy)x)))(\lambda z.zzz)=(\lambda b(\lambda y.yy)(b(xx)))(\lambda z.zzz)=(\lambda b.((b(xx))(b(xx))))(\lambda z.zzz)=((\lambda z.zzz)(b(xx)))((\lambda z.zzz)(b(xx)))=b(xx)b(xx)b(xx)b(xx)b(xx)b(xx)[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Редукция
СообщениеДобавлено: 11 дек 2015, 00:12 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
В последнем сообщении в третьем равенстве что вы заменили на [math]\lambda z.\,zzz[/math]? Нужно было заменить b.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Редукция
СообщениеДобавлено: 11 дек 2015, 00:21 
Не в сети
Продвинутый
Зарегистрирован:
23 окт 2014, 15:46
Сообщений: 78
Cпасибо сказано: 7
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
3D Homer
Ой..
[math](\lambda b(\lambda y.yy)(b((\lambda y.yy)x)))(\lambda z.zzz)=(\lambda b(\lambda y.yy)(b(xx)))(\lambda z.zzz)=(\lambda b.((b(xx))(b(xx))))(\lambda z.zzz)=((\lambda z.zzz)(xx))((\lambda z.zzz)(xx))=xxxxxxxxxxxx[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Редукция
СообщениеДобавлено: 11 дек 2015, 00:29 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Теперь вроде правильно. Лучше найдите онлайн-вычислитель лямбда-выражений, например, вот этот.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю 3D Homer "Спасибо" сказали:
Stasya7
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 6 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Посоветуйте литературу на тему "Математическая редукция"

в форуме Литература и Онлайн-ресурсы по математике

Nikolay_

2

207

03 окт 2019, 20:27


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved