Разрешающая процедура
Версия от 13:50, 13 августа 2018; Andrei (обсуждение | вклад) (Новая страница: « РАЗРЕШАЮЩАЯ ПРОЦЕДУРА — процедура, позволяющая за конечное число действий установить…»)
РАЗРЕШАЮЩАЯ ПРОЦЕДУРА — процедура, позволяющая за конечное число действий установить применимость определенного преди-ката к определенным объектам, например предиката «правильно построенное» к языковому выражению.
