2-е изд. Пер. с англ. — Москва; Санкт Петербург; Киев: Вильямс, 2002. — 528 с.: ил. — ISBN 5-8459-0261-4. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
СПб.: Питер, 2003. — 208 с.: ил. — ISBN 5-318-00537-3. Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации. В этом учебнике практическое использование...
Учеб. для вузов по спец. ЭВМ. - М.: Высш. шк., 1987. 272 с. - ил. В книге излагаются способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности...
М.: Государственное издательство физико-математической литературы, 1962. — 476 с. — (Математическая логика и основания математики).
Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной...
М.: Наука. Гл. ред. физ.-мат. лит., 1985. - 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
М.: Радио и связь, 1987. 392 с.
В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют...
М.: ГИФМЛ, 1962. - 405 с. В последние годы повсеместно и с большой интенсивностью ведутся работы по созданию и применению различных автоматических систем дискретного действия для переработки информации. Они лежат в основе быстродействующих цифровых вычислительных машин, автоматических устройств для управления объектами и систем, моделирующих деятельность живого организма (так...
2-е изд., перераб. и доп. — Л.: Энергия, Ленинградское отделение, 1979. — 232 с. В книге в доступной для инженера-разработчика форме изложены основы теории конечных автоматов и операторных, схем алгоритмов, связанные воедино с теорией и практикой проектирования микропрограммных управляющих устройств. Основное внимание уделено методам, удобным в инженерной практике н...
М., "Наука", 1970 г. , 400 стр.
Книга посвящена поведенческой (абстрактной) теории автоматов:
Поведение автоматов без выходов и с выходом.
Метаязыки.
Расшифровка автоматов.
Статистические оценки параметров и спектров автоматов.
3-е изд., перераб. и доп. – М.: Энергоатомиздат, 1989. – 328 с. Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации...
Перевод с английского. — Москва: Мир, 1970. — 326 с. В книге достаточно полно изложены основные понятия и результаты теории контекстно-свободных грамматик и языков, прослеживаются ее связи с теорией автоматов, языками программирования, лингвистикой и машинным переводом. Имеется большое число упражнений самой различной трудности, которые в совокупности существенно дополняют...
Издательство: Статистика, 1975, 335 c. Монография посвящена рассмотрению математического аппарата количественного и качественного анализа АСУ. Конечные автоматы благодаря их простой реализуемости на ЭВМ имеют значительные преимущества по сравнению с другими моделями. Авторы знакомят читателей с основными достижениями в этой области. Книга рассчитана на разработчиков АСУ и...
Монография, Москва, "Наука", 1973, 408
Поведение автоматов в случайных средах
Игры автоматов
Случайное парное взаимодействие в коллективах автоматов
Модели коллективного поведения
Поведение систем взаимодействующих автоматов
К.: Книжкове вид-во НАУ, 2007. - 364 с.
Розглянуто прикладні питання теорії цифрових автоматів, методи аналізу і синтезу логічних схем в сучасному елементному базисі, способи подання інформації та реалізації арифметичних операцій в ЕОМ. Запропоновано завдання та надано рекомендації з організації курсового проектування, лабораторних занять та контролю знань в умовах...
СПб: СПбГУ ИТМО, 2011. – 242 с. В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным...
Видавництво Дніпропетровського університету, 2009. - 264 с. Викладені логічні аспекти проектування цифрових автоматів. Подані основні положення алгебри логіки, розглянуті проблеми проектування комбінаційних та послідовнісних цифрових автоматів на основі типових логічних схем. Акцентується увага на алгоритмах мінімізації логічної структури, вирішенні проблеми перегонів у...
2-е изд. Пер. с англ. — Москва, Санкт Петербург, Киев: Вильямс, 2002. — 528 с.: ил. — ISBN: 978-5-8459-1347-0. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
Pearson Publication, 2000. - 521 pages. 2nd Edition This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. It has been more than 20 years since this classic book on formal languages, automata theory, and...
М.: Энергоиздат, 1981. — 168 с.: ил. В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся...
Иванов Н.Н., Михайлов Г.И., Руднев В.В., Таль А.А.
под ред. С.В. Петрова. - М.: Издательство Наука, 1984, - 194 с.
В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые...
Springer, 2004. — 318 p. This textbook is an introduction to theoretical computer science with a focus on the development of its algorithmic concepts. It is based on a substantially extended translation of the German textbook "Algorithmische Konzepte der Informatik" written for the first introductory course to theoretical fundamentals of computer science at the University of...
М. : АСТ, 2008. — 560 с. — ISBN: 978-5-17-049562-7 В учебнике излагается теория автоматов, являющаяся одной из основных дисциплин, читаемых для студентов по направлению "Информатика и вычислительная техника". Особое внимание уделяется созданию эффективного математического обеспечения проектирования автоматов на всех этапах их разработки: алгоритмическом, абстрактном, этапе...
М.: Издательство иностранной литературы, 1956. — 402 с. Настоящая книга является переводом сборника статей по теории автоматов. Это - молодая научная дисциплина (отрасль кибернетики), возникшая под влиянием запросов техники цифровых вычислительных машин и моделирующих устройств. Сборник отражает различные аспекты теории автоматов. Некоторые статьи посвящены вопросам, связанным...
М.Наука, 1984 Основная часть работ сборника посвящена наиболее важным аспектам проектирования устройств логического управления: языкам описания алгоритма управления, синтезу устройств из элементов нового типа, вопросам автоматизации проектирования их, надежности устройств на основе использования избыточного кодирования. Для специалистов в области разработки и эксплуатации...
Учебное пособие. — М.: Наука, Главная редакция физико-математической литературы, 1985. — 288 с. В книге в систематической форме излагаются основные результаты и методы теории вероятностных автоматов. Подробно рассматриваются свойства языков, многотактных каналов и последовательностей случайных кодов, представимых конечными вероятностными автоматами, методы синтеза вероятностных...
М.: Интуит, 2016. — 355 с. Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном курсе лекций излагаются результаты теории экспериментов с автоматами, востребованные...
Монография. - Издательство Fultus Books, 2009. - 535с. ISBN: 1-59682-137-X Рассмотрены вопросы современной теории однородных структур (клеточных автоматов) и их приложений в качестве самостоятельного раздела современной математической кибернетики. Настоящая монография ориентирована на самый широкий круг читателей, интересующихся важными направлениями современной вычислительной...
М.: Наука, 1992. — 298 с. Излагаются основные результаты по теории однородных структур, полученные советскими и зарубежными авторами за последние 30 лет. В первой части изучаются автономные однородные структуры. Объектом исследования являются процессы, происходящие внутри этих структур, т.е. поведение их. Во второй части изучаются однородные структуры со входами и выходами, для...
Springer, 2011. — 214 p. Studying the historical development of theoretical foundations and tracing the train of thought that led to their formulations and to related practical discoveries are very suitable ways of learning and getting insight into how to determine the roads for future research and investigations in similar areas. This booklet presents some historical remarks...
Авторы: А.Г. Астановский, В.И. Варшавский, В.Б. Мараховский, В.А. Песчанский, Л.Я. Розенблюм, Н.А. Стародубцев, Р.Л. Финкельштейн, Б.С. Цирлин. — М.: Наука, 1976. — 424 с. — (Теоретические основы технической кибернетики). В книге предлагается новый подход к построению дискретных вычислительных и управляющих устройств, базирующийся на использовании так называемых апериодических...
John Wiley & Sons, 2001. — 401 p. — ISBNs: 0-471-43960-6; 0-471-22464-2. Over the past twenty years, automata and formal languages have become the standard introductory theory course in both the undergraduate and graduate curricula of computer science. The subjects studied in such a course include automata theory, formal languages, and models of computation. For a more advanced...
Издательство Kluwer, 1990, -489 pp. The theory or automata has developed rapidly in the last decades: from the first endeavour to describe formally the input-output behavior, to a clear algebraic insight into the basic concepts and their interrelationship. The original notion of a sequential automaton has been generalized in a number of directions. The motivating directions for...
Pergamon Press, 1963. — 795 p. — ASIN: B000V294MC.
The publication of the six volumes of the collected works of John von Neumann represents an imposing burden of work, great and broad knowledge, and time-consuming research. It would hardly have been possible to make this collection available to the scientific community, and surely not in so short a time, had it not been for the...
Учебное пособие. — СПб.: СПбГУАП, 2000. — 119 с.: ил. — ISBN: 5-8088-0044-7. В пособии приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования...
Саратов: ИСУ, 1988. - 184 с.
В книге изложены результаты исследований по построению общей аксиоматической теории распознавания автоматов, включающей распознавание автоматов с магазинной памятью, линейно-ограниченных автоматов и машин Тьюринга. Показывается алгоритмическая неразрешимость рассматриваемого класса задач и исследуется проблематика построения частных методов...
Издательство Academic Press, 1968, -132 pp. There is a growing interest in large computing systems which operate in a highly parallel manner, in computing machines which can construct copies or variants of themselves, and in models for biological reproduction. Cellular automata provide a common basis for investigations in all these areas. The major pioneering work in cellular...
Издательство Academic Press, 1968, -173 pp. This monograph is intended to provide a graduate student and a newcomer to the field with ideas, methods, and results of algebraic theory of automata ; nevertheless, people working in the area may find the book useful, too, especially the chapters about regular expressions and the decomposition theory of Krohn and Rhodes. The book can...
Springer, 1997. — 414 p. These are my lecture notes from CS381/481: Automata and Computability Theory, a one-semester senior-level course I have taught at Cornell University for many years. I took this course myself in the fall of 1974 as a first-year Ph.D. student at Cornell from Juris Hartmanis and have been in love with the subject ever since. The course is required for...
Издательство Cambridge University Press, 1985, -290 pp. The last twenty years have witnessed most vigorous growth in areas of mathematical study connected with computers and computer science. The enormous development of computers and the resulting profound changes in scientific methodology have opened new horizons for the science of mathematics at a speed without parallel...
Издательство Elsevier, 2004, -420 pp. The theory of automata arose as an interdisciplinary field, with roots in several scientific domains including pure mathematics, electronics and computer science. This diversity is reflected in the material presented in this book which covers topics related to computer science, algebra, logic, topology and game theory. The elementary theory...
Монография. — Гродно: ГрГУ, 2008. — 486 с. — ISBN: 978-985-515-020-7; ISBN: 978-9985-9508-4-5. В монографии рассматриваются основы теории классических однородных структур (ОС), представляющей собой базовую компоненту общей теории однородных структур (Cellular Automata): новую и весьма перспективную среду моделирования многих дискретных параллельных процессов, явлений и...
Издательство North Holland, 1991, -424 pp.
The subject of research in automata theory is a design of mathematical models describing methods of information transformation in digital systems. Automata theory is especially concerned with abstract models of systems working by means of discrete signals, known as digital signals. Special emphasis has been put on digital computers,...
Издательство University of Illinois Press, 1966, -403 pp. Работы знаменитого математика Джона фон Неймана по структуре, синтезу и поведению конечных автоматов с предисловием А. Буркса Editor's introduction Part one. Theory and organization of complicated automata Part two. The theory of automata: construction, reproduction, homogeneity General considerations A system of 29...
Издательство World Scientific, 1996, -287 pp. The growth of interest in the study of complex systems which has occurred over the past twenty five years is a prime example of the explosive development of an idea whose time has come. The data processing capacities of modem computers have made possible work that could not even be imagined before their invention. For the...
Москва: Издательство Московского университета, 1985. — 174 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами, прототипами которых являются различные реальные устройства. Предлагаемая книга содержит достаточно обширный материал по теории абстрактных автоматов и...
Издательство Marcel Dekker, 2003, -386 pp. Graph algebras possess the capacity to relate fundamental concepts of computer science, combinatorics, graph theory, operations research, and universal algebra. They are used to identify nontrivial connections across notions, expose conceptual properties, and mediate the application of methods from one area toward questions of the...
Издательство North Holland, 1963, -342 pp. In recent years, intensive work has been in progress at a number of centres to develop and apply various automatic digital systems for information processing. Such systems form the basis of digital computers, various control devices operating to a specified algorithm, and of models which simulate the activity of a living organism...
Springer, 1989. — 268 p. The subject of the sixteenth School is the theory of finite automata and its applications. However two important parts of this theory are not treated in this volume, because they were already the subject of two earlier Spring Schools : "Automata on infinite words" (Spring School 1984) and "Automata Networks" (Spring School 1986). The proceedings have...
Basel: Birkhauser, 1994. — 237 p. The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order predicate logic, and thereby concluded that there is no...
Springer, 1985. — 221 p. This volume contains the texts of the conferences given at the "Ecole de Printemps d'lnformatique Theorique" held at le Mont Dore in May 1984, It was organized jointly by A. Arnold, L. Kott, M. Nivat. F. Rodriguez and myself and gathered a hundred participants. This Spring School is an event which takes place each year in variable places of France. The...
Издательство World Scientific Publishing, 2001, -164 pp. In the past half century, automata theory has been established as one of the most important foundations of computer science, and its applications have spread to almost all areas of computer science. Research in automata theory and related areas has also reached a crucial point where researchers are searching for new...
Springer, 1989. — 167 p. There are two main approaches to a theory of concurrent distributed computations: the theory of Petri nets and the Milner/Hoare theory of CCS/CSP. They are based on different philosophies and emerged from two different classical notions of computability. The Petri net approach developed (in the early 60s) from the ideas around Turing machines and...
Монография. — М.: Наука, Главная редакция физико-математической литературы, 1966. — 272 с.: ил. В монографии излагаются новые методы исследования вырожденных задач теории оптимальных процессов, связанных с особыми управлениями и скользящими режимами. Такие задачи часто встречаются в проблемах космической навигации, динамики полета и т.д. Принцип максимума и многие другие...
Springer, 1988. — 131 p. This volume contains the proceedings of the Fourteenth Spring School of the LITP (Laboratoire d'Informatique Theorique et de Programmation, Universite Paris VI-VII, CNRS) held May 12-16, 1986 in Argeles-Village on the French Catalan coast. This meeting was organized by M. Nivat, F. Robert, P. Salle and myself and gathered a hundred participants. The...
Springer, 1978. — 184 p. This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal language theory. This theory was initiated around 1960—apart from some scattered work done earlier in connection with free groups—by M. P. Schutzenberger to whom also belong some of the main results. So far...
World Scientific, 2012. — 673 p. Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To the best of our knowledge, there is no single...
М.: Наука, 1971. — 512 с. — (Теоретические основы технической кибернетики). Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС....
Trasl. from the Rus.: Scripta Technica, Inc. — Academic Press, 1971. — 444 p. — (Mathematics in Science and Engineering, 79). — ISBN 0-120463504, 978-0-120463503. In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation...
Cambridge: Cambridge University Press, 2023. — 267 p. Formal languages and automata have long been fundamental to theoretical computer science, but students often struggle to understand these concepts in the abstract. This book provides a rich source of compelling exercises designed to help students grasp the subject intuitively through practice. The text covers important...
СПб.: Супер Издательство, 2022. — 192 с.: ил. — ISBN 978-5-9965-2221-7. Книга описывает новые методы построения моделей программируемых логических автоматов (процессоров) в виде принципиальных логических схем и написана для читателей, интересующихся системами и устройствами программного управления и цифрового регулирования различными объектами, с использованием программируемых...
Комментарии