Език, често машина обработваема комбинация от естествени и формален език, използвани за уточняване на изискванията, дизайн, поведение или други характеристики на система или системен компонент.