К формальным языкам можно отнести
1) Японскую письменность
2) Язык химических формул
3) Разговорный английский язык
4) Математическую символику
1) Японскую письменность
2) Язык химических формул
3) Разговорный английский язык
4) Математическую символику
More Questions From This User See All
Answers & Comments
Verified answer
Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов.В теории моделей язык строится из множеств символов, функций и отношений вместе с их арностью, а также множества переменных. Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания.
Т.е. о любом высказывании можно сказать принадлежит оно этому языку или нет, является ли ошибочным.
1) - я мало знаю о японской писмености, чтоб судить о конечности и вариционности. Возможно да, возможно нет. Но скорее в данном контексте нет
2) скорее всего да. Конечный алфавит и тп
3) - нет, потому что каждый говорит как хочет, бесконечность вариаций, нет критерия правильности
4) - да, потому что есть критерий правильности, единый синтаксис, впринцепе конечный алфавит