Формальные грамматики и языки - Гладкий А.В.
Скачать (прямая ссылка):
2) Весьма важное место отводится в книге сопоставлению грамматик с автоматами; это дает возможность представлять себе грамматики и классы грамматик не изолированно, а в некотором достаточно широком контексте и благодаря этому лучше понимать строение порождаемых грамматиками языкэв и работу самих грамматик. Поэтому в главах 1, 3, 4 и 5 рассматриваются различные классы автоматов (собственно — машин Тьюринга) и изучаются их связи с классами грамматик.
Другой вопрос, значение которого в книге сознательно подчеркивается, — оценки сложности работы грамматик (т. е. вывода в грамматиках). Эти оценки являются важнейшим средством классификации грамматик и языков; именно они позволяют составить представление о том, как грамматика «работает». Поэтому вопрос об оценках сложности вывода в произвольных грамматиках рассматривается в начале книги — он составляет содержание второй главы; оценкам сложности вывода в грамматиках специальных типов посвящена основная часть третьей главы и вся седьмая.
3) Наряду с формальными грамматиками существуют и другие математические конструкции, специально предназначаемые для описания некоторых существенных аспектов естественного языка или для описания лингвистического исследования. Вместе с теорией грамматик теории этих конструкций составляют так называемую математическую лингвистику. Подробнее
о значении этого термина см. [Гладкий — Мельчук 1969, стр. 15—22]. Для нас сейчас важно лишь то, что теория грамматик — это только часть математической лингвистики, хотя и занимающая в ней центральное место.
14
•ВВЕДЕНИЕ
?Настоящая книга посвящена только теории грамматик; ?однако автор счел целесообразным изложить в ней в виде приложений два специальных вопроса математической лингвистики, собственно к теории грамматик не относящихся: способы описания синтаксической структуры •предложения и «теорию замещаемости». Это вызвано, с одной стороны, тем, что некоторыми возникающими при изучении указанных вопросов понятиями (впрочем, весьма простыми) приходится пользоваться в теории грамматик, с другой — наличием тесной связи между лингвистическими интерпретациями теории грамматик и этих вопросов. Кроме того, систематического и достаточно строгого изложения способов описания синтаксической структуры предложения до сих пор вообще, кажется, не появлялось в доступной широкому читателю литературе *).
По стилю оба приложения несколько отличаются от основного текста книги — в них уделено сравнительно -много внимания лингвистическим приложениям. Это обусловлено самим характером материала, состоящего в значительной степени из определений понятий, вызванных к жизни не столько математическими, сколько лингвистическими соображениями.
Для чтения приложения I достаточно знакомства с § l.l (или даже с его началом). Знакомство с материалом § П1.1 необходимо для чтения глав 3—7; остальные два параграфа приложения I используются только в § 6.3 (не считая одного несущественного замечания в § 6.1). Для чтения приложения II достаточно знакомства с §§ l.l и 1.2; материал этого приложения, именно, его второго параграфа, использован только в §§ 5.2 и 8.4**).
4) В настоящей книге слово «язык» всюду означает «множество последовательностей элементарных симво-
*) Очень хорошее «нематематическое» изложение имеется в статье [Падучева 1964].
**) Читателю, интересующемуся лингвистическими вопросами, можно рекомендовать прочесть оба приложения сразу после гл. 1. Прочие читатели могут ознакомиться с § П1. 1 перед чтением гл. 3, с §§П1.2, П1.3' перед чтением гл. 6, а из приложения II посмотреть только определение взаимозамещаемости и лемму ПН. 1, дойдя до теоремы 5.7, и определение конфигурации, дойдя до стр. 277.
ВВЕДЕНИЕ
15
лов», что в лингвистической интерпретации могло бы означать «множество текстов», в частном случае «мно-. жество правильных текстов». Такое словоупотребление является обычным в математической лингвистике (в последнее время оно проникло и в теорию автоматов), но расходится с принятым в собственно лингвистике (язы-. коведении), где под языком понимают, как правило, не-, которую систему, «работающее устройство», включаю-, щее в себя грамматику *), что же касается совокупности текстов на данном языке, т. е. результата его работы, то эту совокупность лингвисты называют обычно «речью» (такое употребление терминов «язык» и «речь» восхо-, дит к Ф. де Соссюру). Однако использование слова «язык» в смысле «множество последовательностей символов» настолько уже-укоренилось в теории грамматик, и других разделах математической лингвистики, что от-; казаться от него не представляется возможным, тем бо^ лее, что не видно, чем его заменить (во всяком случае,: лингвистический термин «речь» здесь не годится).
5) Формальные грамматики могут использоваться-для описания различных уровней естественного языка, например фонологического, морфологического или синг таксического. В любом случае задача грамматики состоит в том, чтобы описать, как строятся некоторые более сложные объекты из более простых: для фонологического уровня — морфы**) из фонем, для морфологического — слова (точнее словоформы, см. ниже) из морф, для синтаксического — предложения из слов. Поскольку в нашей книге лингвистическое истолкование, привлекается только в иллюстративных целях, мы будем обращаться лишь к одной «естественно-языковой» ин--терпретации — синтаксической, во многих отношениях самой удобной. Таким образом, элементарные символы-во всех лингвистических примерах будут интерпретироваться как слова (а «правильные последовательности»
