21 век - времето, когато притежаването на информация е най-важното конкурентно предимство във всяка област. Той обаче няма да носи никаква полза, освен ако не е изразен на език, разбираем за лицата, на които е възложен или който няма преводач, способен да предаде значението му на адресата. В момента около 2000 души живеят на земята. Тяхната отличителна черта, преди всичко, е езикът. Заедно с устното (естествено) човечеството е създало много изкуствени езици. Всяка от тях е предназначена за решаване на конкретни задачи. Сред тези знакови системи са формалните езици, примери за които са дадени по-долу.

Определение

На първо място, ще посочим какъв език е. Под тази дума се разбира знакова система, използвана за установяване на комуникация между хората и знанието. Основата на по-голямата част от изкуствените и естествените езици е азбуката. Това е набор от символи, използвани за съставяне на думи и фрази. Езикът се характеризира с:

набор от използвани символи;

правилата за съставянето им "думи", "фрази" и "текстове";

набор от правила (синтактични, прагматични и семантични) на използването на сложни конструкции.

Характеристики на естествените езици

Както вече споменахме, всички езици са условно разделени на изкуствени и естествени. Между тях има много несъответствия.


Говорещите езици са естествени. Сред техните характеристики, заедно с други, са:

двусмислието на повечето думи;

съществуването на синоними и омоними;

наличието на няколко имена в същия предмет;

Наличие на изключения от практически всички правила.

Всички тези характеристики са основните разлики между естествените знакови системи от официалните езици. Примерите на думи и неясноти на словото са известни на всички. Така че думата "етер", в зависимост от контекста, може да означава както материя, така и радио - или излъчване.


Основните функции на говоримите езици са:

комуникация;

познавателна дейност;

изразяване на емоции;

влияние върху събеседника (кореспондентът, когато става въпрос за кореспонденция).

Характеристики на изкуствените езици

Изкуствените езици се създават от хора за специални цели или за специфични групи хора. Една от основните характеристики на изкуствените езици е недвусмислената дефиниция на техния речник, както и правилата за предоставяне на ценности и изрази.

Официални езици и граматика

Езикът, естествен и изкуствен, може да съществува само ако има набор от специфични правила. В този случай следва да се осигури последователно, компактно и точно отражение на отношенията и свойствата на предметната област. Ако те са ясно изразени, те казват, че това е официален език. Примери за такива знакови системи са езиците за програмиране, въпреки че, строго погледнато, те по-скоро заемат определена междинна позиция (виж по-долу). Следва схемата на изграждане на система за формален знак:

избрана азбука (набор от изходни символи);

определят правилата за конструиране на изрази(синтаксис) на езика.

Обхват

Формалните езици (примери: логически езици, програмиране и др.) Се използват в процеса на научните изследвания. Те са по-добре от естественото да представят знанието и са средство за по-обективен и точен обмен на информация. Формалните езици включват всички познати системи от математически и химически символи, морзовата азбука, музикалния инструмент и т.н. Освен това, широко се използват официални езици за програмиране. Бързото им развитие започна в средата на 20-ти век, във връзка с появата на компютърните технологии.

Езикът на формалната логика

Основата на всеки език за програмиране е математически. Той, от своя страна, разчита на знакова система на формална логика. Като наука логиката е създадена от Аристотел. Той обаче е разработил правила за трансформиране на твърдения, които запазват истинското си значение, независимо от съдържанието на тези изрази на понятия. Формалната логика се бори с "недостатъците" на естествените езици, свързани с неяснотата на някои твърдения и т.н. За тази цел операциите с мисли се заменят с действия със знаци на официалния език. Това елиминира всяка несигурност и позволява точно да се установи истинността на твърдението.