Естественные и формальные языки
Вы знаете, что в естественных языках кроме правил есть и исключения. Кроме того, одно и то же слово может иметь различный смысл в зависимости от контекста, т. е. фрагмента текста, в котором оно употребляется. Например, в книге по географии слово «рукав», скорее всего, будет означать ответвление русла реки, а не деталь одежды. Существует некоторая «свобода понимания»: слова и выражения могут пониматься немного по-разному в зависимости от множества условий: опыта человека, его культуры, уровня образованности, настроения и т. п. Так кулинарные рецепты часто содержат совет «добавить соль по вкусу», который каждый выполняет по-своему.
В то же время, например, в научных публикациях такая ситуация недопустима, потому что смысл текста должен быть понят однозначно. В таких случаях используют языки специального типа, в которых каждое слово и словосочетание имеет чётко определенное единственное значение, и нет никаких исключений.
Формальный язык — это язык, в котором однозначно определяется значение каждого слова, а также правила построения предложений и придания им смысла.
Вот некоторые примеры формальных языков:
• математические формулы: y = 3 sin х + 1;
• химические формулы и правила записи реакций: 2Н2 + О2 = 2Н2О;
• системы счисления (правила записи чисел с помощью специальных знаков — цифр): 12345, XXI;
• нотная запись:
• язык записи шахматных партий: 1. е2-е4 е7-е5...;
• язык программирования Паскаль:
program qq;
begin
write ('Привет, Вася!')
end.
Все формальные языки — искусственные. В отличие от естественных языков, которые формировались в течение многих веков и неотделимы от истории каждого народа и его культуры, формальные языки разрабатываются людьми для обмена информацией в специальных областях знаний. Например, нотная запись позволяет сохранить и передать музыкальное произведение. К формальным языкам часто относят эсперанто — искусственный язык, разработанный в конце XIX века польским врачом Л. М. Заменгофом для международного общения.
В таблице 2.1 проведено сравнение естественных и формальных языков.
Следующая страница Вопросы и задания