muzruno.com

Официални езици: примери. Знаци на официалния език

21-ви век е времето, когато притежаването на информация е най-важното конкурентно предимство в която и да е сфера. Въпреки това, няма да има полза, ако не се изразява на език, разбираем за онези, на които е предназначен преводачът или не, способен да предаде значението си на адресата.

В момента около 2 000 души живеят на земята. Тяхната отличителна черта, на първо място, е езикът.

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

Такива системи за знаци включват официални езици, примери за които са представени по-долу.

примери за официални езици

дефинира

На първо място, формулираме това, което е езикът. С тази дума обичайно е да разберем системата на знаците, която се използва за установяване на комуникация между хората и познанието.

Основата на мнозинството от изкуствените и естествените езици е азбуката.

Това е набор от символи, използвани за съставяне на думи и фрази.

Езикът се характеризира с:

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

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

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

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

  • неяснотата на повечето думи;
  • наличието на синоними и хомоними;
  • наличие на няколко имена в една и съща тема;
  • Наличие на изключения от почти всички правила.

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

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

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

признаци на формален език

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

Изкуствените езици се създават от хора за специални цели или за определени групи хора.

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

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

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

Схемата за изграждане на системи за официални знаци е, както следва:

  • е избрана азбука (колекция от оригинални символи);
  • се дават правила за конструиране на изрази (синтаксис) на езика.

официални езици за програмиране

Обхват на приложение



формален езици (примери: езици логика, програмиране и др.) се използват в процеса на научни изследвания. Те са по-добри от естествените да представят знанията и са средство за по-обективен и точен обмен на информация.

Формалните езици включват всички известни системи от математически и химически символи, код на Морс, музикална нотация и т.н.

В допълнение, официалните езици за програмиране се използват широко. Бързото им развитие започва в средата на 20-ти век, във връзка с навлизането на компютърните технологии.

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

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

В сърцето на всеки програмен език е математически. Това, на свой ред, се основава на знаковата система на формалната логика.

Като наука логиката е създадена от Аристотел. Той също така разработи правила за преобразуване на изказвания, които запазват тяхната стойност на истината, независимо от съдържанието на понятията, които влизат в тези изказвания.

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

формален логически език

Характеристики на езици за програмиране

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

С последната, много синтаксисни правила ги обединяват и с някои естествени ключови думи и конструкции.

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

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

граматика

Програмните езици, както всеки друг, имат граматика. С това понятие разбираме описанието на метода за внасяне на предложения. Граматиките са описани по различни начини. В случая на езиците за програмиране, те са правила, които се определят от подредени двойки от символни низове от два типа: дефиниране на синтактични конструкции и семантични ограничения. Когато определят граматиката, те първо формално очертават правилата за конструиране на синтактични конструкции и след това определят семантичните правила на един от естествените езици.

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

Класификация на езиците за програмиране

В момента има няколко хиляди, заедно с "диалектите". Те са класифицирани като процедурни и декларативни. На езиците от първия тип, трансформацията на данните се определя от описанието на последователността от действия, изпълнявани върху тях, вторите отношения. Има и други класификации. Например програмните езици са разделени на функционални, процедурни, обектно-ориентирани и логически. Ако се подходим стриктно към въпроса, тогава класификацията не може да бъде обективна. В края на краищата, значителна част от езиците за програмиране имат възможностите на официални системи от няколко вида наведнъж. С течение на времето краищата вероятно ще се износят още повече.

формалните езици са

Сега можете да отговорите на въпроса: "Какви официални езици знаете?". Учените продължават да ги подобряват, за да направят възможно решаването на различни практически и теоретични проблеми, които в момента се считат за неразрешими.

Споделяне в социалните мрежи:

сроден