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