• Что такое формальный язык?
• Примеры формальных языков

Мы объясняем, что такое формальные языки, их характеристики, примеры и типы. Также его отличия от естественного языка.

Формальный язык организован с помощью ограниченного набора правил комбинирования.

Что такое формальный язык?

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

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

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

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

Согласно американскому лингвисту Ноаму Хомски (1928-), формальные языки можно разделить на четыре типа:

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

Примеры формальных языков

Примеры формальных языков:

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