Кформальным языкам можно отнести 1) японскую письменность 2) язык формул 3) разговорный язык 4) символику

Формальный язык  в логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом. понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. в теории моделей язык строится из множеств символов, функций и отношений вместе с их арностью, а также множества переменных. каждое из этих множеств может быть бесконечным. из языка вместе с универсальными логическими символами составляются логические высказывания. т.е. о любом высказывании можно сказать принадлежит оно этому языку или нет, является ли ошибочным. 1) - я мало знаю о японской писмености, чтоб судить о конечности и вариционности. возможно да, возможно нет. но скорее в данном контексте нет 2) скорее всего да. конечный алфавит и тп 3)  - нет, потому что каждый говорит как хочет, бесконечность вариаций, нет критерия правильности 4)  - да, потому что есть критерий правильности, единый синтаксис, впринцепе конечный алфавит

один, два, три, четыре, пять

12345