Формальный язык

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

Синтаксическая структура правильно составленное, хотя и бессмысленное английское предложение «Бесцветные зеленые идеи яростно спят» (исторический пример из Хомского 1957).

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

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

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

Содержание
  • 1 История
  • 2 слова над алфавитом
  • 3 Определение
  • 4 Примеры
    • 4.1 Конструкции
  • 5 Формализмы спецификации языка
  • 6 Операции с языками
  • 7 Приложения
    • 7.1 Языки программирования
    • 7.2 Формальные теории, системы и доказательства
      • 7.2.1 Интерпретации и модели
  • 8 См. Также
  • 9 Примечания
  • 10 Ссылки
    • 10.1 Цитаты
    • 10.2 Источники
  • 11 Внешние ссылки
История

Считается, что первым формальным языком был тот, который использовал Готтлоб Фреге в его Begriffsschrift ( 1879), буквально означающее «концептуальное письмо», и который Фреге описал как «формальный язык чистой мысли».

Ранняя система полу-Туэ Акселя Туэ, которая может быть использована для переписывания строк оказал влияние на формальные грамматики.

Слова над алфавитом

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

A слово в алфавите может быть любой конечной последовательностью (т. Е. строкой ) букв. Множество всех слов в алфавите Σ обычно обозначается Σ (с использованием звезды Клини ). Длина слова - это количество букв, из которых оно состоит. Для любого алфавита существует только одно слово длины 0, пустое слово, которое часто обозначается буквами e, ε, λ или даже Λ. Посредством конкатенации можно объединить два слова, чтобы сформировать новое слово, длина которого является суммой длин исходных слов. Результатом соединения слова с пустым словом является исходное слово.

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

Определение

A формальный язык L над алфавитом Σ - это подмножество из Σ, то есть набор слов над этим алфавитом. Иногда наборы слов группируются в выражения, тогда как правила и ограничения могут быть сформулированы для создания «правильно сформированных выражений».

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

Хотя формальная теория языка обычно занимается формальными языками, которые описываются некоторыми синтаксическими правилами, фактическое определение понятия «формальный язык» такое же, как указано выше: (возможно, бесконечный) набор строк конечной длины составлен из заданного алфавита, не больше и не меньше. На практике существует множество языков, которые можно описать правилами, например, обычные языки или контекстно-свободные языки. Понятие формальной грамматики может быть ближе к интуитивному понятию «языка», описываемому синтаксическими правилами. Из-за злоупотребления определением конкретный формальный язык часто считается оснащенным формальной грамматикой, описывающей его.

Примеры

Следующие правила описывают формальный язык L над алфавитом Σ = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, +, = }:

  • Каждая непустая строка, которая не содержит «+» или «=» и не начинается с «0», находится в L.
  • Строка «0» находится в L.
  • Строка, содержащая «=», находится в L тогда и только тогда, когда есть ровно один «=», и она разделяет две допустимые строки L.
  • Строка, содержащая «+», но не «=», является в L тогда и только тогда, когда каждый "+" в строке разделяет две допустимые строки L.
  • В L нет строки, кроме тех, которые подразумеваются предыдущими правилами.

Согласно этим правилам, строка " 23 + 4 = 555 "находится в L, но строка" = 234 = + "нет. Этот формальный язык выражает натуральные числа, правильно сформированные сложения и правильно сформированные равенства сложения, но он выражает только то, как они выглядят (их синтаксис ), а не то, что они означают (семантика ). Например, нигде в этих правилах нет указания, что «0» означает число ноль, «+» означает сложение, «23 + 4 = 555» неверно и т. Д.

Конструкции

Для конечных языков можно явно перечислить все правильно сформированные слова. Например, мы можем описать язык L как L = {a, b, ab, cba}. вырожденным случаем этой конструкции является пустой язык, который вообще не содержит слов (L = ).

Однако даже в конечном (непустом) алфавите, таком как Σ = {a, b}, существует бесконечное количество слов конечной длины, которые потенциально могут быть выражены: «a», «abb», "ababba", "aaababbbbaab",.... Следовательно, формальные языки обычно бесконечны, и описать бесконечный формальный язык не так просто, как написать L = {a, b, ab, cba}. Вот несколько примеров формальных языков:

  • L = Σ, множество всех слов над Σ;
  • L = {a} = {a}, где n пробегает натуральные числа и "a" означает «a», повторяющееся n раз (это набор слов, состоящий только из символа «a»);
  • набор синтаксически правильных программ на данном языке программирования (синтаксис которых обычно определяется контекстно-свободная грамматика );
  • набор входных данных, на которых останавливается некоторая машина Тьюринга ; или
  • набор максимальных строк буквенно-цифровых ASCII символов в этой строке, т. Е.. набор {the, set, of, maximal, strings, alphanumeric, ASCII, characters, on, this, line, i, e}.
Language - формализмы спецификации

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

Типичные вопросы, задаваемые о таких формализмах, включают:

  • Какова их выразительная сила? (Может ли формализм X описать каждый язык, который может описать формализм Y? Может ли он описывать другие языки?)
  • Какова их узнаваемость? (Насколько сложно определить, принадлежит ли данное слово языку, описываемому формализмом X?)
  • Какова их сопоставимость? (Насколько сложно решить, являются ли два языка, один из которых описан в формализме X, другой в формализме Y или снова X, на самом деле одним и тем же языком?)

Как ни странно, часто ответ на эти проблемы принятия решения таков: невозможно сделать вообще »или« это чрезвычайно дорого »(с указанием того, насколько дорого). Следовательно, формальная теория языка - это основная область применения теории вычислимости и теории сложности. Формальные языки могут быть классифицированы в иерархии Хомского на основании выразительной силы их порождающей грамматики, а также сложности их распознающего автомата. Контекстно-свободные грамматики и обычные грамматики обеспечивают хороший компромисс между выразительностью и простотой синтаксического анализа и широко используются в практических приложениях.

Операции с языками

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

Примеры: предположим, что L 1 {\ displaystyle L_ {1}}L_ {1} и L 2 {\ displaystyle L_ {2}}L_ {2} - языки над некоторым общим алфавитом Σ {\ displaystyle \ Sigma}\ Sigma .

  • конкатенация L 1 ⋅ L 2 {\ displaystyle L_ {1} \ cdot L_ {2}}{\ Displaystyle L_ {1} \ cdot L_ {2 }} состоит из всех строк вида vw {\ displaystyle vw}vw , где v {\ displaystyle v}v - это строка из L 1 {\ displaystyle L_ {1}}L_ {1} и w {\ displaystyle w}w - строка из L 2 {\ displaystyle L_ {2}}L_ {2} .
  • Пересечение L 1 ∩ L 2 {\ displaystyle L_ {1} \ cap L_ {2}}{\ displaystyle L_ {1} \ cap L_ {2}} из L 1 {\ displaystyle L_ {1}}L_ {1} и L 2 {\ displaystyle L_ {2}}L_ {2} состоит из всех строк, содержащихся в обоих языках
  • Дополнение ¬ L 1 {\ displaystyle \ neg L_ {1}}{\ displaystyle \ neg L_ {1}} из L 1 {\ displaystyle L_ {1}}L_ {1} по отношению к Σ {\ displaystyle \ Sigma}\ Sigma состоит всех строк более Σ {\ displaystyle \ Sigma}\ Sigma , которых нет в L 1 {\ displaystyle L_ {1}}L_ {1} .
  • звезда Клини : язык, состоящий из всех слов, которые являются конкатенациями из нуля или более слов в исходном языке. ;
  • Реверс:
    • Пусть ε будет пустым словом, тогда ε R = ε {\ displaystyle \ varepsilon ^ {R} = \ varepsilon}{ \ Displaystyle \ varepsilon ^ {R} = \ varepsilon} , и
    • для каждого непустого слова w = σ 1 ⋯ σ n {\ displaystyle w = \ sigma _ {1} \ cdots \ sigma _ {n}}{\ displaystyle w = \ sigma _ {1} \ cdots \ sigma _ {n}} ( где σ 1,…, σ n {\ displaystyle \ sigma _ {1}, \ ldots, \ sigma _ {n}}{\ displaystyle \ sigma _ {1}, \ ldots, \ sigma _ {n}} - элементы некоторого алфавита), пусть w R = σ N ⋯ σ 1 {\ displaystyle w ^ {R} = \ sigma _ {n} \ cdots \ sigma _ {1}}{\ displaystyle w ^ {R} = \ sigma _ { п} \ cdots \ sigma _ {1}} ,
    • , затем для формального языка L {\ displaystyle L}L , LR = {w R ∣ w ∈ L} {\ displaystyle L ^ {R} = \ {w ^ {R} \ mid w \ in L \}}{\ displaystyle L ^ {R } = \ {w ^ {R} \ mid w \ in L \}} .
  • гомоморфизм строки

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

Свойства замыкания языковых семей (L 1 { \ displaystyle L_ {1}}L_ {1} Op L 2 {\ displaystyle L_ {2}}L_ {2} , где оба L 1 {\ displaystyle L_ {1}}L_ {1} и L 2 {\ displaystyle L_ {2}}L_ {2} входят в языковую семью, указанную в столбце). После Хопкрофта и Ульмана.
ОперацияОбычная DCFL CFL IND CSL рекурсивная RE
Объединение L 1 ∪ L 2 = {w ∣ w ∈ L 1 ∨ w ∈ L 2} {\ Displaystyle L_ {1} \ чашка L_ {2} = \ {w \ mid w \ in L_ {1} \ lor w \ in L_ {2} \}}{\ displaystyle L_ {1} \ cup L_ {2} = \ {w \ mid w \ in L_ {1} \ lor w \ in L_ {2} \}} ДаНетДаДаДаДаДа
Пересечение L 1 ∩ L 2 знак равно {вес ∣ вес ∈ L 1 ∧ вес ∈ L 2} {\ displaystyle L_ {1} \ cap L_ {2} = \ {w \ mid w \ in L_ {1} \ land w \ in L_ {2} \ }}{\ displaystyle L_ {1} \ cap L_ {2} = \ {w \ mid w \ in L_ {1} \ land w \ in L_ {2} \}} ДаНетНетНетДаДаДа
Дополнение ¬ L 1 = {w ∣ w ∉ L 1} {\ displaystyle \ neg L_ {1} = \ {w \ mid w \ not \ in L_ {1} \}}{\ displaystyle \ neg L_ {1} = \ {w \ mid w \ not \ in L_ {1} \}} ДаДаНетНетДаДаНет
Конкатенация L 1 ⋅ L 2 знак равно {wz ∣ вес ∈ L 1 ∧ z ∈ L 2} {\ displaystyle L_ {1} \ cdot L_ {2} = \ {wz \ mid w \ in L_ {1} \ land z \ in L_ {2 } \}}{\ displaystyle L_ {1} \ cdot L_ {2} = \ {wz \ mid w \ in L_ {1} \ land z \ in L_ {2} \}} ДаНетДаДаДаДаДа
звезда КлиниL 1 ∗ = {ε} ∪ {wz ∣ w ∈ L 1 ∧ z ∈ L 1 ∗} {\ displaystyl e L_ {1} ^ {*} = \ {\ varepsilon \} \ cup \ {wz \ mid w \ in L_ {1} \ land z \ in L_ {1} ^ {*} \}}{\ displaystyle L_ {1} ^ {*} = \ {\ varepsilon \} \ cup \ {wz \ mid w \ in L_ {1} \ land z \ in L_ {1} ^ {*} \}} ДаНетДаДаДаДаДа
(Строка) гомоморфизм час {\ displaystyle h}h час (L 1) = {h (w) ∣ w ∈ L 1} {\ displaystyle h (L_ {1}) = \ {h (w) \ mid w \ in L_ {1} \}}{\ displaystyle h (L_ { 1}) = \ {h (w) \ mid w \ in L_ {1} \}} ДаНетДаДаНетНетДа
гомоморфизм без ε (строки) h {\ displaystyle h}h h (L 1) = {h (w) ∣ w ∈ L 1} {\ displaystyle h (L_ {1 }) = \ {h (w) \ mid w \ in L_ {1} \}}{\ displaystyle h (L_ { 1}) = \ {h (w) \ mid w \ in L_ {1} \}} ДаНетДаДаДаДаДа
Замена φ {\ displaystyle \ varphi}\ varphi φ (L 1) = ⋃ σ 1 ⋯ σ n ∈ L 1 φ (σ 1) ⋅… ⋅ φ (σ N) {\ Displaystyle \ varphi (L_ {1}) = \ bigcup _ {\ sigma _ {1} \ cdots \ sigma _ {n} \ in L_ {1}} \ varphi (\ sigma _ {1}) \ cdot \ ldots \ cdot \ varphi (\ sigma _ {n})}{\ displaystyle \ varphi (L_ {1}) = \ bigcup _ {\ sigma _ {1} \ cdots \ sigma _ {n} \ in L_ {1}} \ varphi (\ sigma _ {1}) \ cdot \ ldots \ cdot \ varphi (\ sigma _ {n})} ДаНетДаДаДаНетДа
Обратный гомом. орфизм час - 1 {\ displaystyle h ^ {- 1}}{\ displaystyle h ^ {- 1}} час - 1 (L 1) = ⋃ w ∈ L 1 час - 1 (w) {\ displaystyle h ^ {- 1} (L_ {1}) = \ bigcup _ {w \ in L_ {1}} h ^ {- 1} (w)}{\ displaystyle h ^ {- 1} (L_ {1}) = \ bigcup _ {w \ in L_ {1}} h ^ {- 1} (w)} ДаДаДаДаДаДаДа
ОбратныйLR = {w R ∣ w ∈ L} {\ displaystyle L ^ {R} = \ {w ^ {R} \ mid w \ in L \}}{\ displaystyle L ^ {R } = \ {w ^ {R} \ mid w \ in L \}} ДаНетДаДаДаДаДа
Пересечение с обычным языком R {\ displaystyle R}R L ∩ R = {w ∣ w ∈ L ∧ w ∈ R} {\ displaystyle L \ cap R = \ {w \ mid w \ in L \ land w \ in R \}}{\ displaystyle L \ cap R = \ {w \ mid w \ in L \ land w \ in R \}} ДаДаДаДаДаДаДа
Приложения

Языки программирования

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

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

Формальные теории, системы и доказательства

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

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

Формальная система (также называемая логическим исчислением или логической системой) состоит из формального языка вместе с дедуктивным аппаратом (также называемым дедуктивной системой). Дедуктивный аппарат может состоять из набора правил преобразования, которые могут интерпретироваться как действительные правила вывода, или набора аксиом, или иметь и то, и другое. Формальная система используется для получения одного выражения из одного или нескольких других выражений. Хотя формальный язык можно отождествить с его формулами, формальную систему нельзя также отождествить с его теоремами. Две формальные системы FS {\ displaystyle {\ mathcal {FS}}}{\ mathcal {FS}} и FS ′ {\ displaystyle {\ mathcal {FS '}}}{\mathcal {FS'}}могут иметь все теоремы одни и те же, но различаются некоторым существенным теоретико-доказательственным образом (формула A может быть синтаксическим следствием формулы B в одной, но не в другой, например).

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

Интерпретации и модели

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

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

См. Также
Примечания
Ссылки

Цитаты

Источники

Процитированные работы
Общие ссылки
Внешние ссылки
На Викискладе есть средства массовой информации, связанные с Формальные языки.
Последняя правка сделана 2021-05-20 11:39:27
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте