Ответ:

Формальный язык задаётся строгими правилами построения и употребления знаков. Этому условию соответствует язык программирования.

Ответ: язык программирования.