Ответ:

Формальный язык — это система знаков с точно заданными правилами построения и интерпретации выражений. Русский, китайский и разговорный английский — естественные языки.

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