formal_language_theory / lectures / intro
.pdf
Введение
Нас будет интересовать лишь строение предложений языка, в частности, какие предложения входят в данный язык, а какие не входят. Поэтому-то языки и называются формальными.
Это естественно приводит нас к вопросу о том, как представлять языки – объекты не всегда конечные. И существует ли вообще возможность представить любой язык конечным образом?
Ответы на эти вопросы дает гл. 1.
11
Введение
Грамматики, которые рассматриваются в гл. 2, являются одним из способов конечного описания языков. Следуя Н. Хомскому, мы определим понятие формальной грамматики и способ её интерпретации, связывающий её с языком, через понятие вывода.
В этой главе мы рассмотрим ещё три типа грамматик, отличающихся ограничениями на вид их правил. Это грамматики типов 1 или контекстно зависимые, 2 или контекстно-свободные и 3 или регулярные.
Введение
Свойства классов языков, порождаемых грамматиками соответствующих типов, вместе с соответствующими типами распознавателей – абстрактных устройств способных определять принадлежность цепочки символов данному языку, обсуждаются в последующих главах первой части курса.
13
Введение
Поскольку ограничения на вид правил грамматик усиливаются нарастающим порядком от типа 0 (исходное определение) к типу 3, то рассматривать мы будем, начиная с простейшего класса –
регулярных множеств и конечных автоматов, затем КС-языков и магазинных автоматов. Именно эти классы языков и распознавателей имеют большое практическое применение.
Введение
Alan Turing 23.06.1912-7.06.1954
контекстно
Затем мы определим понятие
машины Тьюринга –
распознавателя языков типа 0
или рекурсивно перечислимых множеств, и закончим классом зависимых языков и линейно-
ограниченными автоматами в качестве их распознавателей.
15
Введение
Donald Ervin Knuth 10.01.1938 –
типов
В части II в КС-языки вводится понятие семантики посредством схем синтаксически управляемой трансляции и
трансляторов: на основе k-
предсказывающего алгоритма анализа для LL(k)-грамматик и анализатора Д. Кнута для LR(k)-грамматик. Эти подклассы КС-грамматик широко
используются на практике (CDL, YACC) и потому включены в предлагаемый курс.
Введение
В настоящее время применение технологических средств, основанных на синтаксических методах, стало обыденным делом. Однако их грамотное и эффективное применение требует от пользователя знания, по крайней мере, основ математической теории, на которой они базируются.
17
Введение
Хочется закончить введение высказыванием, услышанным мною когда-то давно от С. Я. Фитиалова:
“Наука превращает искусство в ремесло”.
С этим и приступим к изложению основного содержания курса.
Next
18