Какво може да се припише на официалните езици? Примери за използване

Какво е формален език и как се различава от естествения език? Как се формира? Какво може да се припише на официалните езици? И какво се използва, за да се посочи това?

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

Така наречете групата изкуствени езици, които се характеризират с точни правила относно изработването на изрази, както и тяхното разбиране. Формалните езици включват системи, използвани за приложни цели. Те са изградени в съответствие с ясни правила, осигуряват последователно, компактно и точно картографиране на връзките и свойствата на изучаваните тематичната област или симулирани обекти. Значението и значението на използваните знаци не могат да се променят от някои прагматични особености (контекст на употреба). Това е възможно поради наличието на формалните езици на правилата за синтактична трансформация и семантично тълкуване. Често те се изграждат, когато се използват като основа на математиката. Поради факта, че в него през целия период на развитие са използвани различни символни символи, използвани за различни понятия и обекти. Това са онези официални езици. Те ви позволяват значително да намалите данните. По-рано, заедно с официалните, естествени езици бяха използвани, но с постепенното усложняване на темата и необходимостта от извършване на строг логически анализ на математическите преценки, бе решено да се изостави последната. Този процес се простира от XVII до XX век. Това е последният век, който се смята за най-плодотворен от гледна точка на развитието на официалните езици. Бяха създадени различни специални клонове. Например за компютърната наука, програмните езици и алгебра на логиката са от особено значение, не само от теоретична гледна точка, но и от практическа гледна точка.

дефиниция

Какво може да се припише на официалните езици, което вече сме обяснили накратко. Но какво да кажем за тях? На официалните езици са дадени много различни дефиниции. За да ги изброим, ще отнеме много време, за да се запознаем с най-популярните:

1. Прост списък с думи, които са включени в даден език - обикновено се говори за краен тип конструкция и за онези от тях, които имат проста структура.
2. Думи, генерирани от определена формална граматика.
3. Структура, създадена от регулярни изрази.
4. Думи, генерирани от изграждането на БНФ.
5. Структурата, разпозната от крайната държавна машина.

Нека да разгледаме един пример. Да предположим, че имаме цялата азбука, дадена от две цифри: 1 и 0. За показване на буквата "О" използваме комбинацията 1010001. Това е приложението на официалния език. Също така е възможно да се използва празна дума (когато низът има нулева дължина и няма нищо в нея) със специално обозначение във формата, която познаваме. Но по-подробно разбиране на това, което един формален език, ще помогне на 4 примера, които ще бъдат дадени допълнително. За какво е това? Че читателят е разбрал, че е възможно да се припише на официални езици. Но малко повече за това как са създадени.

Изграждането на официални езици

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

1. За начало изберете азбука или някаква колекция от определени символи, от които ще бъдат изработени изразите, използвани на езика. На официалните езици е всеки начин за програмиране с помощта на компютър.
2. Описва синтаксиса, т.е. характеристиките и правилата, на които ще бъдат създадени значими изречения.
3. Съгласно определени правила, са съставени думи и изрази. Има едно правило: всяка последователност от букви трябва да може да се счита за дума.

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

Пример 1

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

Пример 2

Помислете за примера на логиката, в която има инверсия (не-), разединение (и-), връзка (или-) и импликация (rArr-) и редица други. Като изображения можете да напишете такива записи:

1. А;
2. Aand-In rArr- не-А
3. не- (Aor-не-C)

Тъй като символите A, B, C заместват променливите и ще получите логични операции. Къде се използват официалните езици от този тип? Широко използване на такъв механизъм, намерен в програмните езици, математиката, взаимоотношенията, логическите и математическите функции или отделните части, описани от програмиста.

Пример 3

Нека да разгледаме по-сложна логическа формула:

не- (Aor-не-C) hArr- не-Аан-С = 1

Ето защо се нуждаем от официални езици. Представете си какво би се случило, ако беше описано с думи? И сега, въз основа на формулата, ще извлечем изводи. Значителни изрази могат да бъдат получени на официалния език, само когато се спазват предварително определените правила за формирането, модифицирането и разбирането на формулите и термините, от които са направени:

1. Изграждане на термини и формули;
2. Изработване на семантичния аспект и тълкуване;
3. Редът на някои формули и термини от другите.

Във всеки от официалните езици набор от тези правила трябва да бъде добре разработен.

Пример 4

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

заключение

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