TY - BOOK

T1 - ЯЗЫКИ И ТРАНСЛЯЦИИ

AU - Мартыненко, Б.К.

PY - 2004

Y1 - 2004

N2 - В учебном пособии излагаются основы математической теории формальных языков и трансляций, знание которой необходимо всем, кто работает в области теоретической или прикладной информатики. Излагаются основные факты теории с доказательствами. Содержание основано на материалах лекций, читавшихся автором в разные годы на математико-механическом факультете Ленинградского — С.-Петербургского государственного университета. Прекрасные монографии по затрагиваемой тематике, изданные в 60–70-е годы, к настоящему времени стали библиографической редкостью. Предполагается, что настоящее пособие хотя бы частично компенсирует недостаток учебной литературы в данной области. Пособие предназначено для студентов математических факультетов университетов, изучающих синтаксические методы в информатике. Библиогр. 20 назв. Табл. 19. Ил. 30.

AB - В учебном пособии излагаются основы математической теории формальных языков и трансляций, знание которой необходимо всем, кто работает в области теоретической или прикладной информатики. Излагаются основные факты теории с доказательствами. Содержание основано на материалах лекций, читавшихся автором в разные годы на математико-механическом факультете Ленинградского — С.-Петербургского государственного университета. Прекрасные монографии по затрагиваемой тематике, изданные в 60–70-е годы, к настоящему времени стали библиографической редкостью. Предполагается, что настоящее пособие хотя бы частично компенсирует недостаток учебной литературы в данной области. Пособие предназначено для студентов математических факультетов университетов, изучающих синтаксические методы в информатике. Библиогр. 20 назв. Табл. 19. Ил. 30.

KW - Автомат

KW - грамматика

KW - трансляция

KW - язык

M3 - учебно-методическое пособие

SN - 5-288-02870-2

BT - ЯЗЫКИ И ТРАНСЛЯЦИИ

PB - Издательство Санкт-Петербургского университета

ER -