Алгоритм рекурсивный
алгоритм, при исполнении которого встречается команда вызова его же самого.
подстановка, если тело подпрограммы просто копируется или подставляется в точку вызова, то мы получаем динамическую область видимости.
При их помощи макрокоманды способны превратиться в макрорасширения, то есть, очередность предложений,
Предложена операционная модель интуитивного доказательства, представляющая собой последовательность команд, операндами которых служат формализованные математические утверждения. Множество команд является расширяемым. Операционная семантика команд определяется средствами макроязыка с использованием фиксированного множества базисных операций. Остаточная модель (макрорасширение) операционной модели интуитивного доказательства, формируемая макрогенератором макроязыка, представляет собой программу для виртуальной машины, успешное выполнение которой подтверждает правильность интуитивного доказательства.
алгоритм, при исполнении которого встречается команда вызова его же самого.
это разница между их высотами вложенности.
объектно-ориентированный язык программирования, разработанных компанией Sun Microsystems.