有穷描述

_

finite description; finite specification