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

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

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

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

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

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