О книге

Арто Саломаа - Жемчужины теории формальных языков

Цель настоящей книги - кратко изложить некоторые красивые результаты теории формальных языков в форме, доступной для читателя без какой-либо предварительной подготовки. Мне хотелось решить две задачи: (i) написать введение в теорию для новичков и (и) включить в него побольше материала, отражающего современные исследования. Я надеюсь, что в соответствии с первой задачей книга может служить основой небольшого курса лекций, а в соответствии со второй представлять интерес для специалистов. Из предисловия автора

Арто Саломаа - ученый с мировым именем, крупнейший специалист по теории формальных грамматик и языков, а также по теории сложности, теории языков программирования и компиляции. Он - президент Европейской ассоциации вычислительных наук, член Финской академии наук, профессор Университета в Турку, автор нескольких монографий и сотен статей.

Jewels of formal language theory

Arto Salomaa

University of Turku Turku, Finland

Computer Science Press Rockville, 1981

А. Саломаа

Жемчужины теории формальных языков

Перевод с английского А. А. Мучника

под редакцией А. Л. Семенова

Москва "Мир" 1986

ББК81.1

С16

УДК 519.765

Саломаа А.

С 16 Жемчужины теории формальных языков: Пер. с англ.- М.: Мир, 1986.- 159 с, ил.

Книга содержит ряд замечательных результатов теории формальных языков. Она отличается методическими достоинствами, большим числом задач и примеров, постановкой новых проблем. Автор книги - профессор Университета г. Турку (Финляндия), президент Европейской ассоциации вычислительных наук - успешно решил поставленные им две основные задачи: дать замкнутое введение в теорию для начинающих, изложить некоторые блестящие и порой сложные результаты, интересные для специалистов.

Для специалистов по вычислительным наукам, для студентов и аспирантов университетов как введение в предмет.

Редакция литературы по математическим наукам

Арто Саломаа

Жемчужины теории формальных языков

Ст. научн. ред. Г. М. Ильичева

Мл. научн. ред. Л. А. Королева

Художник Г. М. Чеховский

Художественный редактор В. И. Шаповалов

Технический редактор Е. С. Потапенкова

Корректор В. С. Соколов

ИБ № 1/4063

Сдано в набор 19.03.85. Подписано к печати 15.11.85. Формат 60×90¹/₁₆. Бумага типографская № 2. Печать высокая. Гарнитура литературная. Объем 5,00 бум. л. Усл. печ. л. 10,00. Уел кр.-отт. 10,25. Уч.-изд. л. 9,60. Изд. № 1/3949. Тираж 12 000 экз. Зак. 576. Цена 70 коп.

Издательство "Мир" 129820, ГСП, Москва, И-110, 1-й Рижский пер., 2

Ленинградская типография № 2 головное предприятие ордена Трудового Красного Знамени Ленинградского объединения "Техническая книга" им. Евгении Соколовой Союзполиграфпрома при Государственном комитете СССР по делам издательств, полиграфии и книжной торговли.

198052, г. Ленинград, Л-52, Измайловский проспект, 29.

© 1981 Computer Science Press, Inc.

© перевод на русский язык с дополнением, "Мир", 1986