К формальным языкам можно отнести

1) Японскую письменность

2) Язык химических формул

3) Разговорный английский язык

4) Математическую символику

Формальный язык в математической логике и информатике - множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов.

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

Т. е. о любом высказывании можно сказать принадлежит оно этому языку или нет, является ли ошибочным.

1) - я мало знаю о японской писмености, чтоб судить о конечности и вариционности. Возможно да, возможно нет. Но скорее в данном контексте нет

2) скорее всего да. Конечный алфавит и тп

3) - нет, потому что каждый говорит как хочет, бесконечность вариаций, нет критерия правильности

4) - да, потому что есть критерий правильности, единый синтаксис, впринцепе конечный алфавит