Формальный язык — это язык, который характеризуется строгим синтаксисом и семантикой, что позволяет однозначно интерпретировать его конструкции.
К формальным языкам можно отнести языки программирования, так как они имеют четкие правила и структуру, предназначенные для выполнения конкретных задач на компьютере.
Ответ: б) язык программирования