Fresh Sources, Inc., Leanpub, 2021. — 286 p. An accessible, practical approach to formal languages with an introduction to computability. A textbook for upper-division Computer Science majors covering formal languages and automata with an introduction to computability. Intended to give CS majors a solid foundation in the Theory of Computation without being overly formal...
Fresh Sources, Inc., Leanpub, 2021. — 286 p. An accessible, practical approach to formal languages with an introduction to computability. A textbook for upper-division Computer Science majors covering formal languages and automata with an introduction to computability. Intended to give CS majors a solid foundation in the Theory of Computation without being overly formal...
Springer, 2008. — 278 p. The theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) and generative linguistics. Later, new specializations emerged from areas of either computer science (concurrent and distributed systems, computer graphics, artificial life),...
Springer, 2006. — 148 p. This book is an introduction to rational formal power series in several noncommutative variables and their relations to formal languages and to the theory of codes. Formal power series have long been used in all branches of mathematics. They are invaluable in enumeration and combinatorics. For this reason, they are useful in various branches of computer...
Transl. from French. — No publisher info, 2008. — x, 212 p. This book is an introduction to rational formal power series in several noncommutative variables and their relations to formal languages and to the theory of codes. Formal power series have long been used in all branches of mathematics. They are invaluable in enumeration and combinatorics. For this reason, they are...
Springer, 2008. — 161 p. The study of formal languages and automata has proved to be a source of much interest and discussion amongst mathematicians in recent times. This book, written by Professor Ian Chiswell, attempts to provide a comprehensive textbook for undergraduate and postgraduate mathematicians with an interest in this developing field. The first three Chapters give...
3rd edition. — Springer, 2019. — xiii, 499 p. This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators. This significantly updated and expanded third edition has been enhanced...
Springer, 2009. — 370 p. The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and language design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a...
Cham: Springer, 2022. — 1392 p. — ISBN 978-3-031-03945-4. Cognitive mathematics provides insights into how mathematics works inside the brain and how it is interconnected with other faculties through so-called blending and other associative processes. This handbook is the first large collection of various aspects of cognitive mathematics to be amassed into a single title,...
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...
World Scientific Publishing Company, 2010. — 248 p. This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and grammars, languages and codes,...
Pearson Education India, 2013. — 656 p. — ISBN: 8131793516. Formal languages and automata theory is the study of abstract machines and how these can be used for solving problems. The book has a simplistic approach to topics like automata theory, formal languages and theory of computation and explains them exhaustively. The difficult topics are described in a step-wise manner,...
Издательство John Benjamins, 2008, -152 pp. In the latter half of the 1950’s, Noam Chomsky began to develop mathematical models for the description of natural languages. Two disciplines originated in his work and have grown to maturity. The first of these is the theory of formal grammars, a branch of mathematics which has proven to be of great interest to information and...
Third Edition. — Toronto: Jones & Bartlett Publishers, 2000. — 397 p. — ISBN 0-7637-1422-4. This text covers all the material essential to an introductory theory of computation course for undergraduate students. The text has a solid mathematical base, and provides precise mathematical statements of theorems and definitions, giving an intuitive motivation for constructions and...
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...
CRC Press, 2014. ― xx, 288 p. ― ISBN: 978-1-4665-1345-7, 978-1-4665-1349-5. Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the...
Dover Publ. Inc., 1991 (Reissued in 2012). — 210 p. — (Dover Books on Mathematics). — ISBN13: 978-0-486-66697-9. This highly technical introduction to formal languages in computer science covers all areas of mainstream formal language theory, including such topics as operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation...
Dover Publ. Inc., 1991 (Reissued in 2012). — 210 p. — (Dover Books on Mathematics). — ISBN13: 978-0-486-66697-9. This highly technical introduction to formal languages in computer science covers all areas of mainstream formal language theory, including such topics as operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation...
Издательство ISTE, 2014, -612 pp., two volumes
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days,...
Springer, 2020. ― x, 391 p. ― (Trends in Logic, 53). ― ISBN: 978-3-030-30228-3 ISBN: 978-3-030-30229-0. This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof...
Independently published, 2020. — 348 p. The subject matter of this book is about the theoretical foundations of computer science. It gives us an idea about what any computer program can or cannot do. This book strikes a balance between theory and applications, mathematical concepts and practical consequences for computer programs, and the usual dilemma of any textbook, that of...
Издательство Cambridge University Press, 2008, -254 pp. Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free...
Издательство World Scientific, 2006, -420 pp.
This volume of contributed papers commemorates the 75th birthday of Prof. Rani Siromoney, one of the foremost theoretical computer scientists in India and a leading authority on Formal Languages and Automata Theory. Over a period spanning four decades, she has made tremendous technical contributions to the field through her...
New York: Franklin, Beedle & Associates, 2008. — 392 p. This book has two major goals. The first is to help you understand and appreciate the beautiful and enduring ideas of formal language. These ideas are the birthright of all computer scientists, and they will profoundly change the way you think about computation. They are not only among the most beautiful, but also among the...
MIT Press, 1994. — 384 p. — ISBN: 0-262-23169-7. Basic set theory. Introduction to operational semantics. Some principles of induction. Inductive definitions. The denotational semantics of IMP. The axiomatic semantics of IMP. Completeness of the Hoare rules. Introduction to domain theory. Recursion equations. Techniques for recursion. Languages with higher types. Information...
Издательство New Age International, 2005, -360 pp. This book deals with a fascinating and important subject which has the fundamentals of computer hardware, software and some of their applications. This book is intended as an introductory graduate text in computer science theory. I have taken care to present the material very clearly and interestingly. As an introductory...
World Scientific, 1996. - 420 pages. ISBN: 9810234228
This book provides an elementary introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, push-down automata and context-free languages, Turing machines and recursively enumerable languages, and computability and...
Учебное пособие. - Улан-Удэ: Изд-во ВСГТУ, 2000 г. - 51 с. В учебном пособии рассмотрены основные понятия теории; формальные модели алгоритмов, дается классификация формальных грамматик, описаны используемые в практике программирования алгоритмы преобразования грамматик и синтеза автоматов. По каждому разделу приведен теоретический материал, даны методические рекомендации и...
Учебное пособие. — Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2016. — 52 с. Задачник содержит задачи и упражнения, предлагавшиеся студентам на протяжении ряда лет в качестве практических заданий. Предназначен для студентов, изучающих дисциплины «Языки программирования и методы трансляции» и «Теория автоматов и формальных языков». Языки и...
Таганрог: Технологический институт Южного федерального университета, 2009. — 62 с. Настоящий решебник предназначен для выработки практических умений и закрепления теоретических знаний по дисциплине «Теория языков программирования и методы трансляции» у студентов направления «Информатика и вычислительная техника». В решебник вошли материалы, которые прошли апробацию на...
Навчальний посібник.– Харків: Національний технічний університет "Харківський політехнічний інститут" (НТУ "ХПІ"), 2021. – 133 с. Іл. 7. Табл. 33. Наведено класичні моделі, методи, алгоритми теорії формальних мов та граматик. Розгля-нуто LL(1)-граматики, LR(k)-граматики, граматики простого та операторного передування. Наведено моделі скінчених автоматів, а саме: автомати...
Н. Новгород: Нижегородский госуниверситет, 2017. — 64 с. В учебно-методическом пособии рассматриваются основные понятия и алгоритмы теории автоматов и формальных языков. Особое внимание уделяется разделам, относящимся к теории конечных автоматов и регулярных языков. Изучение каждой темы сопровождается необходимым теоретическим материалом и примерами решения типовых задач....
Новосибирск: Новосибирский гос. университет (НГУ), 1995. – 113 с.
Излагаются основы теории формальных языков и грамматик. Рассматриваются классы регулярных и контекстно-свободных языков и их связь с конечными и магазинными автоматами. Обсуждаются фундаментальные вопросы сложности решения задач дискретной математики.
Для студентов вузов, обучающихся по специальности...
Пенза: Издательство Пензенского государственного университета, 2002. — 124 с. Представлен материал для изучения разделов, посвященных формальным языкам, грамматикам и разработке трансляторов. Подробно рассмотрены основные вопросы - теория грамматик и автоматов, лексический анализ, нисходящий и восходящий синтаксический анализ, построение программы синтаксического анализа для...
Мурманск: Мурманский арктический государственный университет, 2018. — 97 с. — ISBN: 978-5-4222-0362-8. В учебном пособии рассмотрена теория, образующая фундамент, необходимый для корректной постановки и решения проблем в области информатики. Отражены базовые сведения о формальных грамматиках, наиболее часто применяемых для описания, анализа и трансляции языков программирования...
Учебное пособие. — СПб.: Университет ИТМО, 2019. — 99 с. В пособии рассмотрены порождающие грамматики, их классификация, алгоритмы упрощения и их взаимного преобразования; определены конечные автоматы и МП-автоматы, рассмотрены вопросы построения распознавателей для регулярных и контекстно-свободных формальных языков; теоретический материал дополнен описанием алгоритмов на...
М.: Издательство ЦПИ при механико-математическом факультете МГУ, 2004. - 80 с.
Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики - теории формальных языков. Рассматриваются порождающие грамматики, классификация формальных языков по Хомскому, регулярные выражения, конечные автоматы, автоматы с магазинной памятью, алгоритмические...
Учебный вводный курс. Пер. с англ. — М.: Радио и связь, 1988. — 128 c.: ил. — ISBN: 5-256-00159-0. В книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах. Удачно...
М.: Радио и связь, 1988. — 128 с. — ISBN 5-256-00159-0. В книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах. Удачно подобранные упражнения в конце каждой главы...
М.: Мир, 1986. 162 с. Книга содержит ряд замечательных результатов теории формальных языков. Она отличается методическими достоинствами, большим числом задач и примеров, постановкой новых проблем. Автор книги — профессор Университета г. Турку (Финляндия), президент Европейской ассоциации вычислительных наук — успешно решил поставленные им две основные задачи: дать замкнутое...
Самуйлов К.Е., Серебренникова Н.В., Чукарин А.В., Яркина Н.В. Учеб. пособие. М.: РУДН, 2008. – 94 с.
Методологии и инструменты моделирования бизнес-процессов сегодня являются одновременно и серьезным направлением научных исследований, и процветающим сектором рынка программного обеспечения. В пособии изложены основы и принципы применения современных методов и программных средств...
Учебное пособие. — Витебск: Витебский государственный университет (ВГУ) имени П.М. Машерова, 2023. — 90 с. — ISBN 978-985-30-0052-8. В курсе лекций излагаются базовые вопросы трансляции формальных языков, включая основы теории автоматов и формальных языков, фазы трансляции (в том числе для языков программирования), построения детерминированных конечных автоматов с помощью...
Учебное пособие. — Ярославль: Ярославский государственный университет им. П. Г. Демидова (ЯрГУ), 2014. — 208 с. Пособие представляет собой вводный курс по теории формальных языков. В нем приведен материал, составляющий теоретическую основу для разработки языков программирования и конструирования компиляторов и являющийся классическим элементом системы подготовки специалистов в...
Курс лекций. Учебное пособие. — Ярославль: Ярославский государственный университет, 1998. — 152 с. — ISBN: 5-8397-0025-8. Данное пособие является вводным курсом в теорию формальных языков и грамматик. В нем представлен материал, составляющий теоретическую основу для разработки языков программирования и конструирования компиляторов и являющийся классическим элементом системы...
Київ : Київський політехнічний інститут імені Ігоря Сікорського, 2019. — 167 c. Підручник з теорії формальних мов та автоматів містить основні теоретичні відомості з традиційних для цієї дисципліни розділів: формальні мови та граматики, машина Тьюринга, кінцеві автомати та автомати з магазинною пам'яттю, лінійно-обмежені машини Тьюринга. Практично всі теореми та леми повністю...
Самара: СГУ, 2018. — 129 с. В данном учебном пособии изложены основные концепции, методы и алгоритмы теории формальных языков – науки, изучающей математические модели языков и имеющей практическую ориентацию на конструирование программной поддержки интеллектуальных языковых интерфейсов для общения человека с ЭВМ в самых различных областях науки и техники. Пособие ориентировано на...
Учебное пособие. — Самара: Изд-во Самар. гос. аэрокосм. ун-та (СГАУ, СНИУ), 2007. — 96 с. : ил. В данном учебном пособии изложены основные концепции, методы и алгоритмы теории формальных языков - науки, изучающей математические модели языков и имеющей практическую ориентацию на конструирование программной поддержки интеллектуальных языковых интерфейсов для общения человека с...
Комментарии