Формальные особенности языка и примеры

формальный язык это набор лингвистических знаков для исключительного использования в ситуациях, когда естественный язык не подходит. В общем, язык делится на естественный или неформальный и искусственный. Первый используется для обычных ситуаций повседневной жизни. Между тем, искусственный используется в особых ситуациях вне сферы повседневной жизни.

Таким образом, формальный язык является частью искусственной группы. Это используется, особенно в формальных науках (те, чья сфера деятельности - не реальности физического мира, а абстрактный мир). Некоторые из этих наук включают логику, математику и компьютерное программирование.

В этом смысле этот тип языка использует языковые коды, которые не являются естественными (они не имеют применения в общении в обычном мире). В области формальных наук формальный язык - это набор цепочек символов, которые могут регулироваться законами, специфичными для каждой из этих наук..

Теперь этот тип языка использует набор символов или букв в качестве алфавита. Из этого формируются «цепочки языка» (слова). Они, если они соответствуют правилам, считаются «правильно сформированными словами» или «правильно сформированными формулами».

индекс

• 1 Характеристики
  • 1.1 Ограниченная среда
  • 1.2 Априорные грамматические правила
  • 1.3 Минимальная семантическая составляющая
  • 1.4 Символический язык
  • 1.5 Универсальность
  • 1.6 Точность и выразительность
  • 1.7 Расширение возможностей
• 2 примера
  • 2.1 Логика
  • 2.2 Математика
  • 2.3 Компьютерное программирование
• 3 Ссылки

черты

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

Целью формального языка является обмен данными в условиях окружающей среды, отличных от других языков. Например, на языке программирования конец - это связь между людьми и компьютерами или между компьютеризированными устройствами. Это не общение между людьми.

Таким образом, это специальный язык, созданный с определенной целью и функционирующий в очень специфических контекстах. Кроме того, это не используется в широком масштабе. Напротив, его использование ограничено теми, кто знает как цель языка, так и его конкретный контекст..

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

Формальный язык формируется из установления априорных грамматических правил, которые дают основу. Итак, сначала мы разрабатываем набор принципов, которые будут управлять комбинацией элементов (синтаксис), а затем генерируем формулы.

С другой стороны, развитие формального языка является сознательным. Это означает, что для их обучения необходимы постоянные усилия. В том же порядке идей, его использование приводит к специализации в правилах и соглашениях научного использования.

Минимальная семантическая составляющая

Семантическая составляющая в формальном языке минимальна. Определенная цепочка, принадлежащая формальному языку, не имеет значения сама по себе.

Семантическая нагрузка, которую они могут иметь, частично обусловлена ​​операторами и отношениями Некоторые из них: равенство, неравенство, логические связки и арифметические операторы.

На естественном языке повторение комбинации «р» и «а» в слове «папа» имеет семантическое значение родителя. Однако на официальном языке это не так. В практической области значение или интерпретация цепей находится в теории, которую пытаются определить через этот формальный язык.

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

В заключение, значения этих цепочек зависят от области формальных наук, в которых они применяются.

Символический язык

Формальный язык полностью символический. Это сделано из элементов, миссия которых состоит в том, чтобы передать отношения между ними. Эти элементы являются формальными лингвистическими признаками, которые, как уже упоминалось, сами по себе не создают никакой семантической ценности..

Форма построения символики формального языка позволяет нам делать вычисления и устанавливать истины в зависимости не от фактов, а от их отношений. Эта символика уникальна и далека от любой конкретной ситуации в материальном мире..  

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

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

На самом деле, это похоже на разные типы сообществ. Их подходы имеют одинаковое значение для всех ученых, независимо от того, на каком языке они говорят..

Точность и выразительность

В общем, формальный язык является точным и не очень выразительным. Его правила формирования не позволяют его носителям придумывать новые термины или придавать новые значения существующим терминам. И это не может быть использовано для передачи убеждений, настроений и психологических ситуаций.

Расширение емкости

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

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

В частности, группы ученых работают над путями улучшения эквивалентности между ними. В конце концов, преследуется цель создания интеллекта, который может использовать формальный язык для производства естественного языка..

примеров

логика

В строке: (p⋀q) ⋁ (r⋀t) => t буквы p, q, r, t символизируют предложения без какого-либо конкретного значения. С другой стороны, символы ⋀, ⋁ и => представляют соединители, которые соединяют предложения. В этом конкретном примере используются следующие разъемы: «y» (⋀), «o» (⋁), «then» (=>).

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

математическая

В этом математическом примере A = ❴x | x⦤3⋀x> 2❵, вмешивается множество с именем «A», которое имеет элементы с именем «x». Все элементы A связаны символами ❴, |, ⦤, ⋀,>, ❵.

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

Объяснение этой цепочки состоит в том, что все элементы этого множества соответствуют условию быть меньше или равным 3 и в то же время больше 2. Другими словами, эта цепочка определяет число 3, которое является единственным элементом, который соответствует условиям.

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

Строка программирования IF A = ​​0, ТО GOTO 30, 5 * A + 1 имеет переменную «A», переданную в процесс обзора и принятия решения через оператора, известного как «условный».

Выражения «IF», ​​«THEN» и «GOTO» являются частью синтаксиса оператора. Между тем, остальные элементы являются значениями сравнения и действия «А».

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

ссылки

1. Словарь Коллинза. (с / ф). Определение «формального языка». Взято с collinsdictionary.com.
2. Технологический университет, Сидней. (с / ф). Формальный и неформальный язык. Взято с uts.edu.au.
3. Определения. (с / ф). Определения для формального языка. Взято из Definition.
4. Технический университет Мадрида. (с / ф). Естественные языки и формальные языки. Взято из lorien.die.upm.es.
5. Муниципалитет Лухан. (с / ф). Формальный язык Взято с сайта lujan.magnaplus.org.
6. Corbin, J.A. (s / f). 12 типов языка (и их характеристики). psicologiaymente.com.
7. Bel Enguix, G. и Jiménez López, M.D. (s / f). Симпозиум: Новые приложения теории формальных языков к лингвистике. Взято с elvira.lllf.uam.es.