言語は、しばしば自然と正式な言語の機械処理可能な組み合わせを使用して、要件、デザイン、動作、またはその他システムまたはシステム コンポーネントの特性を指定します。