Форум за въпроси

"Изисквания към дефиницията [на какво]" в темата за безименни термове

"Изисквания към дефиницията [на какво]" в темата за безименни термове

by Александър Гудев -
Number of replies: 2

Здравейте!

В слайдовете за безименните термове веднага след задачата за дефиниране на граф към ламбда-терм има "изисквания към дефиницията".

Въпросът ми е дали тези изисквания се отнасят за дефиницията на безименен терм (за каквото е точно следващият слайд) или за дефиницията за графа. Питам, защото и трите точки имат смисъл и в контекста на графите, и в контекста на безименните термове.

Ако става дума за графите - какво ще рече 'устойчивост при построение на нов терм', и нужно ли е да даваме някакви обосновки по другите две точки (за субституцията и разглеждане на подтерм)?

Поздрави!

In reply to Александър Гудев

Re: "Изисквания към дефиницията [на какво]" в темата за безименни термове

by Трифон Трифонов -

Здравей,

Изискванията са за дефиницията на безименни термове.

Поздрави,
Т. Трифонов