World Scientific, 2004. — 202 p. The theory of formal languages began with the classification of languages by N. Chomsky in Syntactic Structures in 1957. Now, this classification is called the Chomsky hierarchy of languages. On the other hand, the theory of automata was initiated by M.O. Rabin and D. Scott in 1959. Their work can be regarded as the most important first step in...
Third Edition. — Toronto: Jones & Bartlett Publishers, 2000. - 425 p. — ISBN: 0-7637-1422-4. This book is designed for an introductory course on formal languages, automata, computability, and related matters. These topics form a major part of what is known as the theory of computation. A course on this subject matter is now standard in the computer science curriculum and is...
Prentice Hall, 1982. — 417 p. This book is an introduction to theoretical computer science emphasizing two interrelated areas: the theory of computability (how to tell whether problems are algorithmically solvable) and the theory of formal languages (how to design and use special languages, as for algorithms). Automata (idealized computer devices) are used as precise models of...
Новосибирск: Новосибирский гос. университет (НГУ), 1995. – 113 с.
Излагаются основы теории формальных языков и грамматик. Рассматриваются классы регулярных и контекстно-свободных языков и их связь с конечными и магазинными автоматами. Обсуждаются фундаментальные вопросы сложности решения задач дискретной математики.
Для студентов вузов, обучающихся по специальности...
М.: Радио и связь, 1988. — 128 с. — ISBN 5-256-00159-0. В книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах. Удачно подобранные упражнения в конце каждой главы...
М.: Мир, 1986. 162 с. Книга содержит ряд замечательных результатов теории формальных языков. Она отличается методическими достоинствами, большим числом задач и примеров, постановкой новых проблем. Автор книги — профессор Университета г. Турку (Финляндия), президент Европейской ассоциации вычислительных наук — успешно решил поставленные им две основные задачи: дать замкнутое...
Комментарии