Книга М. Гросса и А. Лантена посвящена одной из наиболее важных областей математической лингвистики — теории формальных грамматик Хомского. В первой части вводятся необходимые понятия из алгебры, математической логики и теории алгоритмов. Во второй рассматриваются некоторые классы формальных языков; третья часть посвящена алгебраической трактовке языков и их свойств.

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

Предлагаемая вниманию читателя книга М. Гросса и А. Лантена — одно из первых в мировой литературе руководств по теории формальных грамматик. По замыслу авторов эта книга предназначается для первоначального изучения указанной теории и должна быть доступна читателю с минимальной математической подготовкой; поэтому её содержание ограничено основными понятиями и теоремами, а изложение носит элементарный характер. В то же время — и это очень существенное достоинство книги — теория формальных грамматик излагается в ней не изолированно, а в широком контексте понятий теории алгоритмов и теории автоматов (а также некоторых алгебраических концепций), что позволяет читателю более глубоко понять содержание самой теории грамматик и составить представление о её месте в кругу родственных математических дисциплин. Необходимые понятия (машины Тьюринга, комбинаторные системы, конечные автоматы и т. д.) излагаются в самой книге, так что она может служить и для ознакомления с первоначальными (но только первоначальными) понятиями теории алгоритмов и теории автоматов.

Вообще отбор и расположение материала представляются в целом весьма удачными. Здание книги спроектировано авторами превосходно. Если бы вдобавок ими была проявлена высокая требовательность к выбору материала, книга была бы безупречной. Но, к сожалению, это не так: в ряде мест качество отделочного, а кое-где и основного строительного материала оставляет желать лучшего. Доказательства в книге, как правило, неформальные; при указанном характере книги это, конечно, правильно, но иногда стремление к неформальности и простоте заводит авторов слишком далеко, и тогда теряется ясность, а то и корректность изложения. Попадаются и просто небрежно проведённые и даже ошибочные рассуждения, а также не вполне согласованные между собой места. Редактор и переводчик старались по мере сил исправить эти дефекты — иногда с помощью примечаний, иногда посредством незначительных сокращений, а чаще путём внесения исправлений в текст (без специальных оговорок). Трудно судить, в какой мере нам это удалось, но, во всяком случае, мы устранили все замеченные нами неточности и несогласованности. Примечания сделаны и в ряде мест, так или иначе требовавших пояснения.

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

ПРЕДИСЛОВИЕ РЕДАКТОРА ПЕРЕВОДА
Л. Гладкий

Книги на ту же тему

1. Трансляция языков программирования, Вайнгартен Ф., 1977
2. Математическая лингвистика, Шаумян С. К., ред., 1973
3. Алгебра. Языки программирования. — 2-е изд., перераб., Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л., 1978
4. Жемчужины теории формальных языков, Саломаа А., 1986
5. Определение языков программирования интерпретирующими автоматами, Оллонгрен А., 1977
6. Равенство, сходство, порядок, Шрейдер Ю. А., 1971
7. Зарубежные исследования по семиотике фольклора: Сборник статей, Мелетинский Е. М., Неклюдов С. Ю., сост., 1985
8. Введение в прикладную комбинаторику, Кофман А., 1975
9. Комбинаторные задачи и (0, 1)-матрицы, Тараканов В. Е., 1985
10. Алгоритмы и вычислительные автоматы, Трахтенброт Б. А., 1974
11. Логический подход к искусственному интеллекту: от классической логики к логическому программированию, Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф., 1990
12. Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
13. Теория алгоритмов: основные открытия и приложения, Успенский В. А., Семёнов А. Л., 1987
14. Нечёткие множества в моделях управления и искусственного интеллекта, Аверкин А. Н., Батыршин И. 3., Блишун А. Ф., Силов В. Б., Тарасов В. Б., 1986
15. Анализ алгоритмов. Вводный курс, Макконнелл Д., 2002
16. Математическая логика, Клини С. К., 1973
17. Элементарное введение в абстрактную алгебру, Фрид Э., 1979
18. Алгебра, Ленг С., 1968
19. Введение в алгебру. Часть III. Основные структуры: Учебник для вузов. — 2-е изд., исправл., Кострикин А. И., 2001
20. Булевы алгебры, Сикорский Р., 1969
21. Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры, Кокс Д., Литтл Д., О'Ши Д., 2000
22. Адаптация и обучение в автоматических системах, Цыпкин Я. З., 1968
23. Основы кибернетики, Джордж Ф., 1984
24. Сравнительное изучение языков программирования, Хигман Б., 1974
25. Программирование на современных алгоритмических языках: Учебное пособие для втузов.— 3-е изд., перераб. и доп., Пярнпуу А. А., 1990
26. Языки программирования. Практический сравнительный анализ, Бен-Ари М., 2000
27. Язык, Блумфилд Л., 1968
28. Новое в лингвистике. Выпуск IV, Звегинцев В. А., сост., 1965
29. Трёхмерная стратификационная модель языка и его функционирования: к общей теории лингвистических моделей, Шаляпина З. М., 2007
30. Текст, машина, человек, Пиотровский Р. Г., 1975