ФОРМАЛЕН ЕЗИК: ХАРАКТЕРИСТИКИ И ПРИМЕРИ - ЛИТЕРАТУРА - 2025

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

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

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

Сега този тип език използва набор от символи или букви като азбука. От това се формират „езиковите вериги“ (думи). Те, ако спазват правилата, се считат за „добре оформени думи“ или „добре оформени формули“.

характеристики

Ограничена среда

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

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

Граматиката прави априори

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

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

Минимален семантичен компонент

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

Семантичната тежест, която могат да имат, идва отчасти от операторите и взаимоотношенията. Някои от тях са: равенство, неравенство, логически съединители и аритметични оператори.

В естествен език повторението на комбинацията от "p" и "a" в думата "papa" има семантичната стойност на родителя. На официален език обаче това не става. В практическата област значението или тълкуването на веригите е в теорията, която човек се опитва да определи чрез този формален език.

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

В заключение, значенията на тези вериги зависят от областта на формалната наука, в която те се прилагат.

Символичен език

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

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

универсалността

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

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

Прецизност и изразителност

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

азтегливост

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

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

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

Примери

логика

В низ: (p⋀q) ⋁ (r⋀t) => t, буквите p, q, r, t символизират предложения без конкретно значение. От своя страна символите ⋁, ⋁ и => представляват съединителите, които свързват предложенията. В този конкретен пример използваните конектори са „и“ (⋀), „или“ (⋁), „тогава“ (=>).

Най-близкият превод до низа е: ако някой от изразите в скоби са верни или не, то t е вярно или не. Съединителите са отговорни за установяване на връзките между предложенията, които могат да представляват всичко.

Math

В този математически пример A = ❴xx⦤3⋀x> 2❵, се намесва набор с име „A“, който има елементи на име „x“. Всички елементи на А са свързани от символиката ❴, -, ⦤, ⋀,>, ❵.

Всички те се използват тук, за да дефинират условията, които елементите "x" трябва да изпълнят, за да могат да бъдат от множеството "A".

Обяснението на тази верига е, че елементите на този набор са всички, които отговарят на условието да са по-малки или равни на 3 и в същото време по-големи от 2. С други думи, тази верига определя числото 3, което е единственият елемент, който отговаря на условията.

Компютърно програмиране

Програмният ред IF A = ​​0, ТОГО GOTO 30, 5 * A + 1 има променлива „A“, подложена на процес на преглед и вземане на решение чрез оператор, известен като „ако е условен“.

Изразът "АКО", "ТОГА" и "ГОТО" са част от синтаксиса на оператора. Междувременно, останалите елементи са стойностите за сравнение и действие на „А“.

Значението му е: компютърът е помолен да оцени текущата стойност на "A". Ако тя е равна на нула, тя ще премине на "30" (друг ред за програмиране, където ще има друга инструкция). В случай, че е различна от нула, променливата „A“ ще бъде умножена (*) на стойност 5 и стойността 1 ще бъде добавена (+) към нея.

Препратки

1. Речник на Колинс. (s / f). Определение на „официален език“. Взето от collinsdictionary.com.
2. Технологичен университет, Сидни. (s / f). Официален и неформален език. Взето от uts.edu.au.
3. Определения. (s / f). Определения за официален език. Взета от определенията.net.
4. Технически университет в Мадрид. (s / f). Естествени езици и официални езици. Взета от lorien.die.upm.es.
5. Община Луян. (s / f). Официалният език. Взета от lujan.magnaplus.org.
6. Corbin, JA (s / f). 12-те типа език (и техните характеристики). psychologiaymente.com.
7. Bel Enguix, G. и Jiménez López, MD (s / f). Симпозиум: Нови приложения на теорията на формалните езици към лингвистиката. Взета от elvira.lllf.uam.es.