4. К формальным языкам в наше время можно отнести: а) французский язык; б) латынь; в) русский язык; г) китайский язык.

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

Ответ: вероятный тестовый вариант — б) латынь; строгое определение не подтверждает его как формальный язык.