Question

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

Answer 1

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

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

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

Answer 2

Формальные языки - это системы символов и правил, используемые для представления информации с определенной структурой и семантикой. Давайте рассмотрим каждый из предложенных вами вариантов:

1. Японская письменность: Несмотря на свою красочность и сложность, японская письменность, такая как хирагана, катакана и кандзи, может рассматриваться как формальный язык. Кандзи, например, представляют собой иероглифическую систему, где каждый символ обозначает определенное значение или морфему. Существуют строгие правила относительно того, как использовать эти символы в японском письме, что соответствует определению формального языка.

2. Язык химических формул: Химические формулы представляют собой систему символов и правил, используемых для описания химических соединений и реакций. Этот язык является формальным, поскольку включает точные правила и соглашения о том, как представлять атомы, молекулы и химические связи.

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

4. Математическая символика: Математическая символика является примером формального языка. Математика использует строгие правила и символы для представления математических концепций, формул и операций. Символы, такие как "+", "-", "*", "/", "=", а также буквы и числа, имеют четкую семантику и используются в соответствии с математическими правилами.

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