Разрешающая процедура

РАЗРЕШАЮЩАЯ ПРОЦЕДУРА — процедура, позволяющая за конечное число действий установить применимость определенного преди-ката к определенным объектам, например предиката «правильно построенное» к языковому выражению.