- характеристики
- Ограниченная среда
- Грамматические правила априори
- Минимальная семантическая составляющая
- Символический язык
- Всеобщность
- Точность и выразительность
- Расширяемость
- Примеры
- логика
- математический
- Компьютерное программирование
- Ссылки
Формальный язык представляет собой набор лингвистических знаков исключительного использования в ситуациях , когда естественный язык не является целесообразным. В целом язык делится на естественный или неформальный и искусственный. Первый используется для обычных повседневных ситуаций. Между тем, искусственное используется в конкретных ситуациях, выходящих за рамки повседневной жизни.
Таким образом, формальный язык входит в группу искусственных. Это используется, в частности, в формальных науках (тех, чья сфера действия не является реальностью физического мира, а абстрактного мира). Некоторые из этих наук включают логику, математику и компьютерное программирование.

В этом смысле этот вид языка использует лингвистические коды, которые не являются естественными (они не применяются в общении в обычном мире). В области формальных наук формальный язык - это набор цепочек символов, которые могут регулироваться законами, специфичными для каждой из этих наук.
Теперь этот тип языка использует набор символов или букв в качестве алфавита. Отсюда образуются «языковые цепочки» (слова). Они, если они соответствуют правилам, считаются «правильно построенными словами» или «правильно построенными формулами».
характеристики
Ограниченная среда
Формальный язык предназначен для обмена данными в условиях окружающей среды, отличных от условий других языков. Например, в языке программирования целью является общение между людьми и компьютерами или между компьютерными устройствами. Это не общение между людьми.
Таким образом, это специальный язык, созданный с определенной целью и работающий в очень специфических контекстах. Кроме того, он не получил широкого распространения. Напротив, его использование ограничено теми, кто знает как цель языка, так и его конкретный контекст.
Грамматические правила априори
Формальный язык формируется из установления априорных грамматических правил, которые дают ему основу. Таким образом, сначала разрабатывается набор принципов, которые будут определять комбинацию элементов (синтаксис), а затем генерируются формулы.
С другой стороны, развитие формального языка носит сознательный характер. Это означает, что для их обучения требуются постоянные усилия. Точно так же его использование ведет к специализации в правилах и условностях научного использования.
Минимальная семантическая составляющая
Семантическая составляющая в формальном языке минимальна. Данная строка, принадлежащая формальному языку, сама по себе не имеет значения.
Семантическая нагрузка, которую они могут нести, частично исходит от операторов и отношений. Вот некоторые из них: равенство, неравенство, логические связки и арифметические операторы.
На естественном языке повторение комбинации «p» и «a» в слове «папа» имеет семантическое значение parent. Однако на формальном языке это не так. В практической области значение или интерпретация цепей основывается на теории, которую человек пытается определить с помощью этого формального языка.
Таким образом, когда он используется для линейных систем уравнений, он имеет теорию матриц как одно из своих семантических значений. С другой стороны, эта же система несет семантическую нагрузку логических схем в вычислениях.
В заключение, значение этих цепочек зависит от области формальной науки, в которой они применяются.
Символический язык
Формальный язык полностью символичен. Это сделано из элементов, задача которых - передать отношения между ними. Эти элементы являются формальными лингвистическими знаками, которые, как уже упоминалось, сами по себе не создают никакой семантической ценности.
Форма построения символов формального языка позволяет производить вычисления и устанавливать истины в зависимости не от фактов, а от их взаимосвязи. Этот символизм уникален и далек от какой-либо конкретной ситуации в материальном мире.
Всеобщность
Формальный язык носит универсальный характер. В отличие от естественного, который, мотивированный своей субъективностью, допускает интерпретации и множественные диалекты, формальный остается неизменным.
На самом деле это похоже для разных типов сообществ. Его утверждения имеют одинаковое значение для всех ученых, независимо от того, на каком языке они говорят.
Точность и выразительность
В целом формальный язык точен и не очень выразителен. Правила его формирования не позволяют говорящим придумывать новые термины или придавать новое значение существующим терминам. И его нельзя использовать для передачи убеждений, настроений и психологических ситуаций.
Расширяемость
По мере того, как был достигнут прогресс в открытии приложений для формального языка, его развитие шло по экспоненте. Тот факт, что им можно управлять механически, не задумываясь о его содержании (его значениях), позволяет свободно комбинировать его символы и операторы.
Теоретически возможности расширения бесконечны. Например, недавние исследования в области вычислений и информатики связывают оба языка (естественный и формальный) в практических целях.
В частности, группы ученых работают над способами улучшения эквивалентности между ними. В конце концов, стремятся создать интеллект, который может использовать формальный язык для создания естественного языка.
Примеры
логика
В строке: (p⋀q) ⋁ (r⋀t) => t буквы p, q, r, t символизируют предложения без какого-либо конкретного значения. С другой стороны, символы ⋀, ⋁ и => представляют соединительные элементы, которые связывают предложения. В этом конкретном примере используются соединители «и» (⋀), «или» (⋁), «затем» (=>).
Ближайший перевод к строке: если какое-либо из выражений в круглых скобках истинно или нет, тогда t истинно или нет. Соединители отвечают за установление отношений между предложениями, которые могут представлять что угодно.
математический
В этом математическом примере A = ❴xx⦤3⋀x> 2❵ вмешивается набор с именем «A», который имеет элементы с именем «x». Все элементы A связаны символикой ❴, -, ⦤, ⋀,>, ❵.
Все они используются здесь для определения условий, которым должны удовлетворять элементы «x», чтобы они могли быть из множества «A».
Объяснение этой цепочки заключается в том, что все элементы этого набора соответствуют условию быть меньше или равным 3 и в то же время больше 2. Другими словами, эта цепочка определяет число 3, которое является единственным элементом, который соответствует условиям.
Компьютерное программирование
Строка программирования IF A = 0, THEN GOTO 30, 5 * A + 1 имеет переменную «A», которая подвергается проверке и процессу принятия решения с помощью оператора, известного как «if conditional».
Выражения «IF», «THEN» и «GOTO» являются частью синтаксиса оператора. Между тем, остальные элементы являются значениями сравнения и действия «А».
Его значение таково: компьютер просят оценить текущее значение «А». Если он равен нулю, он перейдет к «30» (другая строка программирования, где будет другая инструкция). Если он отличен от нуля, тогда переменная «A» будет умножена (*) на значение 5, и к ней будет добавлено значение 1 (+).
Ссылки
- Словарь Коллинза. (з / ж). Определение «формального языка». Взято с сайта collinsdictionary.com.
- Сиднейский технологический университет. (з / ж). Формальный и неформальный язык. Взято с сайта uts.edu.au.
- Определения. (з / ж). Определения формального языка. Взято из definitions.net.
- Мадридский технический университет. (з / ж). Естественные языки и формальные языки. Взято с сайта lorien.die.upm.es.
- Муниципалитет Лухана. (з / ж). Формальный язык. Взято с lujan.magnaplus.org.
- Корбин, Дж. А. (н / ж). 12 типов языка (и их характеристики). psychologiaymente.com.
- Бел Энгуикс, Г. и Хименес Лопес, доктор медицины (н / ж). Симпозиум: Новые приложения теории формальных языков к лингвистике. Взято с сайта elvira.lllf.uam.es.
