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

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

Формальный язык может быть определён по-разному, например:

Простым перечислением слов, входящих в данный язык. Этот способ, в основном, применим для определения конечных языков и языков простой структуры.

Словами, порождёнными некоторой формальной грамматикой (см. иерархия Хомского).

Словами, порождёнными регулярным выражением.

Словами, распознаваемыми некоторым конечным автоматом.

Словами, порождёнными БНФ-конструкцией.

Например, если алфавит задан как {\displaystyle \{a,b\}} \{a,b\}, а язык {\displaystyle L} L включает в себя все слова над ним, то слово {\displaystyle ababba} ababba принадлежит {\displaystyle L} L. Пустое слово (то есть строка нулевой длины) допускается и часто обозначается как {\displaystyle e} e, {\displaystyle \epsilon } \epsilon или {\displaystyle \Lambda } \Lambda .

Некоторые другие примеры формальных языков:

множество {\displaystyle \{a^{n}\}} \{a^{n}\}, где {\displaystyle n} n — неотрицательное число, а {\displaystyle a^{n}} a^{{n}} означает, что {\displaystyle a} a повторяется {\displaystyle n} n раз;

множество синтаксически корректных программ в данном языке программирования.

Основа большинства как искусственных, так и естественных языков — алфавит.

Он представляет собой набор символов, используемых для составления слов и фраз.

Язык характеризуется:

набором используемых знаков;

правилами составления из них «слов», «фраз» и «текстов»;

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

Язык, вне зависимости от того, является ли он естественным и искусственным, может существовать лишь при наличии набора конкретных правил.

При этом должно обеспечиваться непротиворечивое, компактное и точное отображение отношений и свойств исследуемой предметной области.

Если они строго сформулированы, то говорят, что это формальный язык.

Примерами таких знаковых систем являются языки программирования, хотя, строго говоря, они, скорее, занимают некое промежуточное положение (см. далее).

Схема построения формальных знаковых система следующая:

выбирается алфавит (совокупность исходных символов);

задаются правила построения выражений (синтаксис) языка.

Грамматики

Языки программирования, как и любые другие, имеют грамматику.

Под этим термином понимают описание способа составления предложений.

Грамматики описываются различными способами.

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

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

Запись правил в графическом виде осуществляется посредством специальных диаграмм.

Изначально такой подход был применен при создании языка Pascal. Однако затем он стал широко применяться и в других.

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

(лат. intentio «намерение, стремление») — направленность сознания, мышления на какой-либо предмет.

В отличие от желания, интенция понимается как задуманный план действий.

Интенция — коммуникативное намерение — может появиться в виде замысла строить высказывание в том или ином стиле речи, в монологической или диалогической форме.

Разновидностью интенции является речевая (коммуникативная) интенция — намерение осуществить речевой акт.

Интенция также может означать бессознательное намерение, буквально: «то, что ведёт меня изнутри туда, куда я хочу».

выделение в эксперименте:

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

Нюанс заключаеся в том, что в зависимости от их места в дереве разбиения такая система/сборка могут испытываться:

• автономно когда они корневые
• комплесно когда им соотвествует узел или лист