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