Литература по формальным языкам и грамматикам

[AlexeyM]

Подскажите, пожалуйста, есть ли книга, содержащая изложение по таким вопросам:

Цитата:

Естественные и формальные языки, их синтаксис и семантика. Задание формальных языков с помощью грамматик и автоматов; классификация грамматик и языков.

Регулярные множества и выражения, праволинейные грамматики, конечные автоматы. Алгебра регулярных множеств Клини, замкнутость класса регулярных множеств. Основные алгоритмические проблемы для регулярных множеств.

КС-грамматики и языки, автоматы с магазинной памятью. Алгебра контекстно-свободных языков, замыкание класса кс языков. Основные алгоритмические проблемы кс языков.

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

[Dosaev]

Гинзбург Сеймур, "Математическая теория контекстно-свободных языков", гляньте.

[Joker_vD]

Если вас интересует практическая часть, можете глянуть Мозгового, "Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход".

Ну и Dragon Book — у нее в 2006 году вышло второе издание, но список литературы там был всегда огромный, можно в нем покопаться.

[_hum_]

И. А. Волкова, А. А. Вылиток, Т. В. Руденко Формальные грамматики и языки. Элементы теории трансляции. Учебное пособие для студентов II курса. МГУ.

[AlexeyM]

Большое спасибо всем, кто отписался :)

Уважаемый Dosaev, хотелось бы уточнить насчет книги Гинзбурга: она не является устаревшей для освещения вопросов, которые я написал в первом сообщении?