• Какво е официален език?
• Примери за официални езици

Обясняваме какви са официалните езици, техните характеристики, примери и видове. Освен това разликите му с естествените езици.

Формалният език е организиран от ограничен набор от правила за комбинация.

Какво е официален език?

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

• Под азбука се разбира краен и непразен набор от примитивни символи.
• Под формална граматика се разбира краен набор от правила за комбиниране на споменатата азбука за образуване на крайни вериги със специфично значение.

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

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

Според американския лингвист Ноам Чомски (1928-) формалните езици могат да бъдат класифицирани в четири типа:

• Тип 3: редовни езици, снабдени с редовни граматики, тоест със системи от правила, които могат да бъдат получени чрез регулярни изрази и които позволяват да се получат всички възможни символни низове.
• Тип 2: неконтекстуални езици, снабдени с неконтекстуални граматики, тоест позволяват получаване на всички възможни символни низове, но на много по-високо ниво на сложност от обикновените.
• Тип 1: контекстуални езици, снабдени с контекстуални граматики, тоест позволяващи получаване на низове от зависими символи, както показва тяхното име, на контекст.
• Тип 0: безплатни езици, снабдени със свободни граматики, без ограничения, което създава рекурсивно изброими езици.

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

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

• В програмни езици с което на софтуер.
• Играта на шах, чиито фигури са ограничени и движенията са описани предварително.
• Морзов азбука, която чрез къси и дълги знаци съставя думи Й цели числа.
• Собствен логика символичното представлява формален език.