Дял:
Формални езикови особености и примери
на официален език е набор от езикови знаци за изключителна употреба в ситуации, когато естественият език не е подходящ. Като цяло езикът е разделен на естествен или неформален и изкуствен. Първият се използва за обичайни ситуации от ежедневието. Междувременно изкуствените се използват в специфични ситуации извън обхвата на ежедневния живот.
По този начин официалният език е част от изкуствената група. Това се използва, особено в формалните науки (онези, чиято област на действие не са реалностите на физическия свят, а абстрактния свят). Някои от тези науки включват логика, математика и компютърно програмиране.
В този смисъл този вид език използва езикови кодове, които не са естествени (те нямат приложение в комуникациите в обикновения свят). В областта на формалните науки формалният език е набор от вериги от символи, които могат да бъдат регулирани от закони, специфични за всяка от тези науки..
Сега този тип език използва набор от символи или букви като азбука. От това се формират "веригите на езика" (думи). Те, ако спазват правилата, се считат за "добре оформени думи" или "добре оформени формули".
индекс
- 1 Характеристики
- 1.1 Ограничена среда
- 1.2 Априорни граматични правила
- 1.3 Минимален семантичен компонент
- 1.4 Символичен език
- 1.5 Универсалност
- 1.6 Точност и изразителност
- 1.7 Разширителна способност
- 2 Примери
- 2.1 Логика
- 2.2 Математика
- 2.3 Компютърно програмиране
- 3 Препратки
функции
Ограничена среда
Целта на официалния език е да се обменят данни при различни условия на околната среда в сравнение с други езици. Например, в езика за програмиране, краят е комуникацията между хората и компютрите или между компютъризирани устройства. Това не е комуникация между хората.
Следователно това е ad hoc език, създаден с конкретна цел и функциониращ в много специфични контексти. Също така не се използва масивно. Напротив, неговото използване е ограничено до тези, които познават както целта на езика, така и неговия специфичен контекст.
Граматическите правила a priori
Формалният език се формира от установяването на априорни граматични правила, които дават основа. Така че, първо ние проектираме набор от принципи, които ще управляват комбинацията от елементи (синтаксис) и след това ще генерират формулите.
От друга страна, развитието на официалния език е съзнателно. Това означава, че за тяхното обучение са необходими постоянни усилия. В същия ред на идеите, използването му води до специализация в правилата и конвенциите за научна употреба.
Минимален семантичен компонент
Семантичният компонент на официалния език е минимален. Определена верига, принадлежаща към официалния език, няма значение сама по себе си.
Семантичното натоварване, което те могат да имат, идва отчасти от операторите и взаимоотношенията. Някои от тях са: равенство, неравенство, логически връзки и аритметични оператори.
В естествения език повторението на комбинацията от "р" и "а" в думата "татко" има семантичната стойност на родителя. Въпреки това, на официален език това не е така. В практическата област смисълът или интерпретацията на веригите се намира в теорията, която се опитва да дефинира чрез този официален език.
Така, когато се използва за линейни системи от уравнения, тя има матрична теория като една от семантичните си стойности. От друга страна, същата система има семантично натоварване на логическите схеми в изчисленията.
В заключение, значенията на тези вериги зависят от областта на формалните науки, в която се прилагат.
Символен език
Официалният език е напълно символичен. Това е направено от елементи, чиято мисия е да предадат връзката между тях. Тези елементи са формалните езикови знаци, които, както вече споменахме, сами по себе си не генерират никаква семантична стойност.
Формата на конструиране на формалната езикова символика ни позволява да правим изчисления и да установяваме истини в зависимост не от фактите, а от техните взаимоотношения. Тази символика е уникална и далеч от всяка конкретна ситуация в материалния свят.
универсалност
Официалният език има универсален характер. За разлика от естествената, мотивираната към своята субективност позволява интерпретации и многобройни диалекти, формалният изглежда непроменен.
Всъщност тя е сходна за различните типове общности. Техните подходи имат същото значение за всички учени, независимо от езика, на който говорят.
Прецизност и изразителност
Като цяло официалният език е прецизен и не е много изразен. Неговите правила за формиране възпрепятстват ораторите да измислят нови термини или да дават нови значения на съществуващите термини. И не може да се използва за предаване на убеждения, настроения и психологически ситуации.
Капацитет на разширяване
В мярката, в която е постигнат напредък в откриването на приложения за формален език, неговото развитие е експонирано. Фактът, че той може да работи механично, без да се мисли за неговото съдържание (неговите значения), позволява свободна комбинация от нейните символи и оператори.
На теория, обхватът на разширяването е безкраен. Например, последните проучвания в областта на компютрите и компютърните технологии свързват двата езика (естествени и формални) с практически цели.
По-конкретно, групи от учени работят върху начини за подобряване на еквивалентността между тях. В крайна сметка това, което се преследва, е да се създаде интелигентност, която може да използва официален език за производство на естествен език.
Примери
логика
В низ: (p⋀q) ⋀ (r⋀t) => t, буквите p, q, r, t символизират предложения без конкретен смисъл. От друга страна, символите ⋀, ⋁ и => представляват съединителите, които свързват предложенията. В този конкретен пример, използваните съединители са "y" (⋀), "o" (⋁), "then" (=>).
Най-близкият превод на низа е: ако някое от изразите в скоби е изпълнено или не, тогава t е изпълнено или не е изпълнено. Конекторите отговарят за установяване на връзките между предложенията, които могат да представляват нещо ...
математически
В този математически пример A = ❴x | x⦤3⋀x> 2❵ се намесва набор с име "А", който има елементи на име "х". Всички елементи на А са свързани със символиката |, |, ⦤, ⋀,>,.
Всички те се използват тук, за да дефинират условията, които елементите "х" трябва да изпълнят, за да могат да бъдат от множеството "А"..
Обяснението на тази верига е, че елементите на този набор са всички, които изпълняват условието да са по-малки или равни на 3 и в същото време по-големи от 2. С други думи, тази верига дефинира числото 3, което е единственият елемент, който отговаря на условията.
Компютърно програмиране
Програмиращата линия IF A = 0, след това GOTO 30, 5 * A + 1 има променлива "А", представена в процес на преглед и вземане на решения чрез оператор, известен като "ако е условен".
Изразът "IF", "THEN" и "GOTO" са част от синтаксиса на оператора. В същото време останалите елементи са стойностите за сравнение и действие на "А"..
Неговото значение е: компютърът е помолен да оцени текущата стойност на "А". Ако тя е равна на нула, тя ще отиде на "30" (друга линия на програмиране, където ще има друга инструкция). В случай, че е различна от нула, тогава променливата "А" ще бъде умножена (*) с стойността 5 и ще бъде добавена (+) стойността 1.
препратки
- Речник на Колинс. (s / f). Определение на „официален език“. Взето от collinsdictionary.com.
- Технологичен университет, Сидни. (s / f). Официален и неформален език. Взети от uts.edu.au.
- Определения. (s / f). Определения за официален език. Взето от definitions.net.
- Технически университет в Мадрид. (s / f). Естествени езици и официални езици. Взето от lorien.die.upm.es.
- Община Luján. (s / f). Официалният език Взето от lujan.magnaplus.org.
- Corbin, J.A. (s / f). 12-те вида език (и техните характеристики). psicologiaymente.com.
- Bel Enguix, G. и Jiménez López, M.D. (s / f). Симпозиум: Нови приложения на теорията на официалните езици към лингвистиката. Взети от elvira.lllf.uam.es.