Springer, 2010. — 184 p. In 1970 Martin Gardner spelled out the rules of a new solitaire game forged by John Horton Conway.1 An unparalleled combination of functional simplicity with behavioural complexity made Conway’s Game of Life the most popular cellular automaton of all time. We commemorate the Game of Life’s 40th birthday with a unique collection of works authored by...
Издательство Institute of Physics Publishing, Bristol, 2001, -399 pp.
This book aims to show how to design parallel processors from a massive pool of simple locally interacting uniform substances. Computing in excitable lattices, processing in chemical thin liquid layers and construction from amorphous swarms of social insects form the core subject of this volume which guides...
Издательство Luniver Press, 2008, -636 pp.
The book offers a unique collection of papers presented at the Automata-2008 workshop held in Bristol, June 12-14, 2008. The event was supported by the Engineering and Physical Sciences Research Council (EPSRC), the UK Government’s leading funding agency for research and training in engineering and the physical sciences.
Automata 2008...
Berlin: Springer, 2013. — 327 p. Reaction-diffusion and excitable media are amongst most intriguing substrates. Despite apparent simplicity of the physical processes involved the media exhibit a wide range of amazing patterns: from target and spiral waves to travelling localisations and stationary breathing patterns. These media are at the heart of most natural processes,...
Springer, 2016. — 189. Cellular automata are regular uniform networks of locally-connected finite-state machines. They are discrete systems with non-trivial behaviour. Cellular automata are ubiquitous. They are mathematical abstractions of computation, models of physical, chemical and livings systems, and architectures of massive-parallel processors. Cellular automata generate...
Издательство 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...
Translated from the Russian edition: Scripta Technica, Inc. — Academic Press, 1971. — 444 p. — (Mathematics in Science and Engineering 79). — ISBN 0-120463504, 978-0-120463503. This book deals with the general theory of finite automata and sequential machines, a subject of great current theoretical and practical importance and one likely to have an even greater impact in the...
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...
USA. Lulu Press, 2018. — 410 p. In the book we present certain results of the work we have done in the theory of Classical Cellular Automata (CA). At present, these results form an essential constituent of the CA-problematics. In particular, we have studied such problems as the nonconstructability problem in the CA, the decomposition problem of global transition functions in...
Universidad Nacional Abierta y a Distancia, 2008. — 143 p. Autómatas y lenguajes formales es un curso de carácter teórico, que se inscribe en el campo de formación profesional básico del Programa de Ingeniería de Sistemas con un valor académico de tres créditos. El estudiante en el desarrollo de este curso demuestra la asimilación de los conceptos y mecanismos fundamentales...
Cambridge University Press, 2003. — 589 p. — ISBN: 978-0-521-82332-6. Uniting dozens of disparate results from different fields, this book combines concepts from mathematics and computer science to present the first integrated treatment of sequences generated by the simple model of computation called the finite automaton. The authors develop the theory of automatic sequences...
Cambridge University Press, 2006. — 265 p. — ISBN13: 978-0-521-613214-8. Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the basic principles, that assumes only a background...
New York: Wiley-ISTE, 2013. - 161 p. This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata...
Cambridge University Press, 2017. — 281 p. — ISBN: 978-1-107-10917-9 With over half of the world's population now living in urban areas, the ability to model and understand the structure and dynamics of cities is becoming increasingly valuable. Combining new data with tools and concepts from statistical physics and urban economics, this book presents a modern and...
John Wiley, 2004. — 304 p. Are we witnessing a revolution in urban geography? The answer to that question is almost certainly that, yes, we are. That is a bold statement to make. But, let’s consider the evidence. During the last four decades, a volume of research on topics of urban geography has been conducted—everything from the geography of urban graveyards to the evolution...
Cambridge University Press, 2010. — xiv, 620 p. — (Encyclopedia of Mathematics and its Applications 129). — ISBN 978-0-521-88831-8. This book presents a comprehensive study of the theory of variable length codes. It is a complete reworking of the book Theory of Codes published by the first two authors more than twenty years ago. The present text includes many new results and...
Cambridge University Press, 2010. — 630 p. As the title may suggest, this book is about combinatorics on words, automata and formal language theory, as well as number theory. This collaborative work gives a glimpse of the active community working in these interconnected and even intertwined areas. It presents several important tools and concepts usually encountered in the...
Springer, 2006. — 183 p. The close connection between automata and logic has ever been a fascinating subject of theoretical computer science. The origins of that area go back to BЁuchi and Elgot, who showed at the beginning of the 60’s that formulas from monadic second-order logic and finite automata have the same expressive power. Since then, a large amount of research has...
Springer, 2013. — 210 p. Communication systems for most companies throughout the world have already gone digital or will certainly do so in the near future. For example, cell phones and other types of wireless communication such as television, radio, process controls, automotive electronics, consumer electronics, global navigation and military systems, to name only a few...
Springer, 2006. — 444 p. In the world we live in concurrency is the norm. For example, the human body is a massively concurrent system, comprising a huge number of cells, all simultaneously evolving and independently engaging in their individual biological processing. In addition, in the biological world, truly sequential systems rarely arise. However, they are more common when...
Prentice Hall, 1989. — 447 p. It often seems that mathematicians regularly provide answers well before the rest of the world finds reasons to ask the questions. The operation of the networks of relays used in the first computers is exactly described by Boolean functions. George Boole thereby made his contribution to computer science in the mid-1800s, and Boolean algebra is used...
Springer, 2010. — 460 p. Two seemingly unrelated mathematical notions, namely that of an amenable group and that of a cellular automaton, were both introduced by John von Neumann in the first half of the last century. Amenability, which originated from the study of the Banach-Tarski paradox, is a property of groups generalizing both commutativity and finiteness. Nowadays, it...
Cham: Springer Nature Switzerland, 2023. — 638 p. This book complements the authors’ monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics). It consists of more than 600 fully solved exercises in symbolic dynamics and geometric group theory with connections to geometry and topology, ring and module theory, automata theory and theoretical computer...
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...
Издательство World Scientific Publishing, 2002, -137 pp. Advances in Complex Systems (ACS), 2002, vol. 05, issue 02. We discuss the cellular automata approach and its extensions, the lattice Boltzmann and multiparticle methods. The potential of these techniques is demonstrated in the case of modeling complex systems. In particular, we consider applications taken from various...
University of Petrol-Gaze, 2013. - 212 c.
In primul capitol sunt reamintite principalele proprietăţi şi caracteristici ale sistemelor automate, câteva aspecte esenţiale privind locul, rolul şi clasificarea sistemelor automate, sunt prezentate definiţia şi rolul disciplinei Teoria sistemelor automate în pregătirea profesională a studenţilor automatişti de la ciclul licenţă. In...
Издательство 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...
Université de Lille, 2008, -262 pp. During the past few years, several of us have been asked many times about references on finite tree automata. On one hand, this is the witness of the liveness of this field. On the other hand, it was difficult to answer. Besides several excellent survey chapters on more specific topics, there is only one monograph devoted to tree automata by...
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...
Springer, 2007. — 120 p. Finite State Machine Datapath Design, Optimization, and Implementation explores the design space of combined FSM/Datapath implementations. The lecture starts by examining performance issues in digital systems such as clock skew and its effect on setup and hold time constraints, and the use of pipelining for increasing system clock frequency. This is...
6th International Conference, LATA 2012. A Coruña, Spain, March 5-9, 2012. Proceedings. — Springer-Verlag Berlin Heidelberg, 2012. — 565 p. — ISBN 978-3-642-28331-4, e-ISBN 978-3-642-28332-1 These proceedings contain the papers that were presented at the 6th International Conference on Language and Automata Theory and Applications (LATA 2012), held in A Coruña, Spain, during...
Birkhäuser, 2004. -343 pp. The recent dramatic advances in biotechnology have led to an explosion of data in the life sciences at the molecular level as well as more detailed observation and characterization at the cellular and tissue levels. It is now absolutely clear that one needs a theoretical framework in which to place this data to gain from it as much information as...
Society for Industrial and Applied Mathematics, 2005, -268 pp. An automata network is a collection of automata connected together according to a directed graph D. The vertices of D are considered as automata and the edges indicate the existence of communication links. Thus D has no parallel edges. Each automaton can change its state at discrete time steps as a local transition...
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...
Amsterdam: Amsterdam University Press, 2008. — 737 p. — (Texts in logic and games, 2). — ISBN: 978-90-5356-576-6. Mathematical logic and automata theory are two scientific disciplines with a close relationship that is not only fundamental for many theoretical results but also forms the basis of a coherent methodology for the verification and synthesis of computing systems....
Springer, 2023. — 304 p. The main focus of the book is solvability of cellular automata, that is, expressing the state of a given cell after a given number of steps by an explicit formula. The author considers solutions of two types of initial value problems for cellular automata, the deterministic one and the probabilistic one. In the first chapter the basic concepts of...
New York: McGraw-Hill, 1962. — 207 p. — (McGraw-Hill electronic sciences series). — ISBN: 978-0-0702-3243-3. As an introductory text on the theory of finite-state machines, the present volume covers only a small segment — but a very basic one — of what is commonly known as the "theory of automata". Thus, the book confines itself to the fundamental system-theoretic aspects of...
Издательство 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, 2010. — 493 p. It takes more effort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on verification is increasing (one estimate is that verification complexity rises as the square of design complexity). Although this verification crisis was predicted decades ago, it is only...
Boca Raton: CRC Press, 2019. - 348 p. - ISBN: 1138552429. Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy...
Springer International Publishing, Switzerland, 2015. — 341 p. — (Texts in Theoretical Computer Science. An EATCS Series) — ISBN: 9783319214900. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on...
Springer, 2002. — 355 p. A central aim of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially in the construction of reactive programs, like communication protocols or control systems. Characteristic features of such programs are the perpetual...
Oxford University Press, 2003. — 353 p. This book is the long-awaited proceedings of a conference, held at the Santa Fe Institute in December, 1998, and sponsored by the National Science Foundation. "New Constructions in Cellular Automata" brought people together to discuss topics ranging from modeling physics and economics, to reversible computation, to the latest discoveries...
AMS, American Mathematical Society, 2024. — 228 p. — (Student Mathematical Library, Volume: 108). — eBook ISBN 978-1-4704-7670-0. This textbook offers a rigorous mathematical introduction to cellular automata (CA). Numerous colorful graphics illustrate the many intriguing phenomena, inviting undergraduates to step into the rich field of symbolic dynamics. Beginning with a brief...
Springer, 2010. —393 p. Cellular automata (CA) are a paradigm of fine-grained, uniform, parallel computation. This mode of computing is supposedly one that is most naturally and efficiently supported by physics, since physics itself is at bottom a uniform parallel computing medium (thence the appeal of cellular automata machines and all that). Obviously, then, if you have a...
Cambridge University Press, 1982. - 228 pages.
This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea of a machine in biology, biochemistry and computer science and gives also a rigorous treatment of the way in which these machines can be decomposed and simulated by simpler ones. This treatment is...
Cambridge: Cambridge University Press, 2017. — 307 p. Fascinating connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Automata can be used in group theory to encode complexity, to represent aspects of underlying geometry on a space on which a group acts, and to provide efficient algorithms for practical computation....
Berlin: de Gruyter, 2022. — 246 p. Foreword Preliminaries Grammars and generating languages Regular expressions and regular languages Context-free grammars Context-sensitive grammars and unrestricted grammars Automata and accepting languages Turing machines Pushdown automata Finite automata Revisited: languages, grammars, automata Grammars versus automata Around the hierarchy...
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...
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...
Springer, 2011. — 125 p. Since 2002, FoLLI, the Association for Logic, Language, and Information (www.folli.org), has awarded an annual prize for an outstanding dissertation in the fields of logic, language, and information. The prize is named after the well-known Dutch logician Evert Willem Beth, whose interdisciplinary interests are in many ways exemplary of the aims of...
Издательство Morgan & Claypool, 2006, -114 pp. This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order...
Издательство 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...
Springer, 2001. — 442 p. The theory of finite automata on finite stings, infinite strings, and trees has had a distinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about 1950. Then in the 1950s there was the work of Kleene on...
Издательство 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...
Издательство IEEE Computer Society / John Wiley, 2012, -295 pp. The book presents knowledge structures for communications in humancomputer systems (HCS) based on general automata. The general automaton was considered basic in disciplining the natural language, in that knowledge to be communicated is about automata and histories of automata. The work of others on fi nite...
Cambridge University Press, 2010. — 630 p. — ISBN13: 978-0-521-85748-2. Topics in switching and finite automata theory have been an important part of the curriculum in electrical engineering and computer science departments for several decades. The third edition of this book builds on the comprehensive foundation provided by the second edition and adds: significant new material...
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...
Издательство IOS Press/Springer, 2005, -448 pp. In the summer of 2003 the Department of Mathematics and Statistics of the University of Montreal was fortunate to host the NATO Advanced Study Institute Structural theory of Automata, Semigroups and Universal Algebra as its 42nd Seminaire des mathematiques superieures (SMS), a summer school with a long tradition and...
Berlin: Springer, 2011. - 363p. This Festschrift volume is published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching. The topics covered are: weighted automata over words and trees, tree transducers, quantum automata, graphs, pictures and varieties of semigroups. Since 1982 -- at the Aristotle University of Thessaloniki --...
Springer, 2016. — 279 p. — ISBN: 978-3-319-44960-9. This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are introduced and concrete modelling techniques are described, such as finite automata, state machines, and Petri nets. The concepts...
Springer, 2000. — 181 p. This book is a product of a personal research odyssey that started in the late 1980s. From the word go, my interest in Cellular Automata exceeded the mere academic. As an engineer my thoughts have centered on how to put these fascinating dynamical systems into serious use. Since the pioneering thoughts of von Neumann in the 1940s and those of Ulam and...
Издательство Heriot-Watt University, 2009. — 194 p.
The theory of finite automata is the mathematical theory of a simple class of algorithms that are important in mathematics and computer science. Three papers laid the foundations of finite automata theory: Turing’s 1936 paper [49] in which algorithmic problems are defined as those which can be solvedby mechanical means in terms of...
CRC Press, 2004. — 326 p. The theory of finite automata is the mathematical theory of a simple class of algorithms that are important in computer science. Algorithms are recipes that tell us how to solve problems; the rules we learn in school for adding, subtracting, multiplying and dividing numbers are good examples of algorithms. Although algorithms have always been important...
Nova Science Pub Inc, 2011. - 295 p. — ISBN: 1617615927 A cellular automaton is a discrete model studied in computability theory, mathematics, physics, complexity science, theoretical biology and microstructure modelling. It consists of a regular grid of cells, each in one of a finite number of states, such as 'On' or 'Off'. The grid can be in any finite number of dimensions....
Springer, 2004. — 315 p. — ISBN: 978-3-642-05948-3. This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of...
6th Edition. — Jones & Bartlett, 2017. — 450 p. — ISBN 9781284077247, 2015023479. An Introduction to Formal Languages and Automata, Sixth Edition provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written to address the fundamentals of formal languages, automata, and computability, the text is...
Springer, 2018. — 350 p. — (Emergence, Complexity and Computation ECC 27). — ISBN: 978-3-319-65556-7. This book explores Probabilistic Cellular Automata (PCA) from the perspectives of statistical mechanics, probability theory, computational biology and computer science. PCA are extensions of the well-known Cellular Automata models of complex systems, characterized by random...
Springer 2012. — 108 p. — (Springer Briefs in Complexity 1). — ISBN: 978-3-642-23477-4, 978-3-642-23476-7.
This Brief is an essay at the interface of philosophy and complexity research, trying to inspire the reader with new ideas and new conceptual developments of cellular automata. Going beyond the numerical experiments of Steven Wolfram, it is argued that cellular automata...
Springer, 2013. — 327 p. This book is about small universal cellular automata in hyperbolic spaces. As the subtitle suggests, it has an aesthetic side which, I hope, the reader will appreciate. This aesthetic aspect was one part of the motivations for me to tackle this topic and to persevere in the task. I remember that at the beginning of my carrier, more than forty years ago,...
Taylor & Francis, 2003. — 414 p. The volume discusses issues at the crossroads of molecular biology, linguistics, computer science and mathematics. The first section contains papers related to one of the fundamental concepts of the theory of formal languages, namely that of grammar. Results are presented in 'classical' as well as new and modern areas of grammar theory. The...
Springer, 2000. — 919 p. Automata represent fundamental abstract models of computation. This book presents an introduction to them. It concentrates on their three basic types - finite automata, pushdown automata, and Turing machines. The present text demonstrates properties and power of these automata by examining languages that they define. Besides automata, this book also...
Springer, 2014. — 691 p. Language processors have become an inseparable part of our daily life. For instance, all the sophisticated modern means of communication, such as Internet with its numerous information processing tools, are based upon them to some extent, and indisputably, literally billions of people use these means on a daily basis. It thus comes as no surprise that...
World Scientific, 2023. — 437 р. — ISBN 978-9811278129. This book provides an in-depth analysis of classical automata theory, including finite automata, pushdown automata, and Turing machines. It also covers current trends in automata theory, such as jumping, deep pushdown, and regulated automata. The book strikes a balance between a theoretical and practical approach to its...
Издательство North Holland, 1991, -425 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,...
Издательство 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,...
New Delhi: PHI Printing, 2008. — 434 p. This Third Edition, in response to the enthusiastic reception given by academia and students to the previous edition, offers a cohesive presentation of all aspects of theoretical computer science, namely automata, formal languages, computability, and complexity. Besides, it includes coverage of mathematical preliminaries. NEW TO THIS...
Chapman & Hall, CRC Press, 2002. — 553 p. In 1965, L. A. Zadeh introduced the notion of a fuzzy subset of a set as a method for representing uncertainty. His ideas have been applied to a wide range of scientific areas. One such area is automata theory and language theory first introduced by W. G. Wee in [249]. This is the area that is dealt with in this book. Our purpose is to...
World Scientific Publishing, 2025. — 347 p. This unique comprehensive compendium provides extensive studies on reversible cellular automata (RCAs), exhibiting a wide range of interesting phenomena similar to the Game-of-Life, a well-known irreversible CA. The useful reference text also introduces innovative approaches to constructing universal computers in a reversible cellular...
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...
New Delhi: Cambridge University Press India Private Limited, 2008. — 622 p. — ISBN: 9788175965454. A Textbook on Automata Theory has been designed for students of computer science. Adopting a comprehensive approach to the subject, the book presents various concepts with adequate explanations. The logical and structured treatment of the subject promotes better understanding and...
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...
The MIT Press, 2005. — 283 p. — ISBN10: 0262661918; ISBN13: 978-0262661911. Combining storytelling and brilliant exposition in the Enlightenment tradition, Christos Papadimitriou's Turing is at once a moving postmodern love story and one of the best introductions to theoretical computer science available, an enchanting offer to the intelligent reader.
Издательство 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...
Cham: Springer, 2022. — 287 p. Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of...
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...
Paris: Jean-Eric Pin, 2016. - 327 p.
These notes form the core of a future book on the algebraic foundations of automata theory. This book is still incomplete, but the first eleven chapters now form a relatively coherent material, covering roughly the topics described below.
Springer, 1997. — 217 p. In the last decades there has been a steadily growing need and interest in computational methods for solving optimization problems with or without constraints. They play an important role in many fields (chemistry, mechanic, electrical, economic, etc.). Optimization techniques have been gaining greater acceptance in many industrial applications. This...
Springer, 2010. — 213 p. The aim of the thesis is to exploit different classes of (sequential and tree) automata for modeling and reasoning on infinite complex systems. The leitmotif underlying the results provided herein is that, given any infinite complex system (e.g., a computer program) to be verified against a finite set of properties, there often exists a simpler system...
Alpha Science International, Ltd, 2020. — 201 p. The book is written for the current generation of students who expect a keep it simple' approach. Concepts are explained in an easy to understand, stepwise manner. - Solved examples from previous years' question papers are included. - Helps the students to feel comfortable and confident while learning the subject. - Helps the...
Springer, 2018. — 471 p. — ISBN: 978-3-319-72427-0; ISBN: 978-3-319-72428-7. This book collects recent theoretical advances and concrete applications of learning automata (LAs) in various areas of computer science, presenting a broad treatment of the computer science field in a survey style. Learning automata (LAs) have proven to be effective decision-making agents, especially...
Springer, 2018. — 471 p. — ISBN: 978-3-319-72427-0; ISBN: 978-3-319-72428-7. This book collects recent theoretical advances and concrete applications of learning automata (LAs) in various areas of computer science, presenting a broad treatment of the computer science field in a survey style. Learning automata (LAs) have proven to be effective decision-making agents, especially...
New York: Pearson Prentice Hall, 2009. — 851 p. For upper level courses on Automata. Combining classic theory with unique applications, this crisp narrative is supported by abundant examples and clarifies key concepts by introducing important uses of techniques in real systems. Broad-ranging coverage allows instructors to easily customize course material to fit their unique...
Cham : Springer International Publishing, 2019. — 55 p. — ISBN: 978-3-030-10883-0. This book examines the intelligent random walk algorithms based on learning automata: these versions of random walk algorithms gradually obtain required information from the nature of the application to improve their efficiency. The book also describes the corresponding applications of this type...
Cham : Springer International Publishing, 2019. — 55 p. — ISBN: 978-3-030-10883-0. This book examines the intelligent random walk algorithms based on learning automata: these versions of random walk algorithms gradually obtain required information from the nature of the application to improve their efficiency. The book also describes the corresponding applications of this type...
Cambridge University Press, 2003. — 784 p. Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised...
InTech, 2011. — 580 p. In the early 1950s, at the suggestion of Stanislaw Ulam, John Von Neumann introduced the cellular automata as simple mathematical models to investigate self-organisation and self-reproduction. Cellular automata make up a very important class of completely discrete dynamical systems. The physical environment of cellular automata is constituted of a...
Springer, 2011. — 440 p. Modelling and simulation are disciplines of major importance for science and engineering. There is no science without models, and simulation has nowdays become a very useful tool, sometimes unavoidable, for development of both science and engineering. The numerical solution of differential equations has for many years been a paradigm of the...
InTech, 2013. — 198 p. Cellular automata have become a core subject in the sciences of complexity due to their conceptual simplicity, easiness of implementation for computer simulation, and ability to exhibit a wide variety of amazingly complex behavior. These features of cellular automata have attracted the researchers attention from a wide range of divergent fields of...
Издательство 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...
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 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, 2013. — 488 p. Control of discrete-event dynamic systems is the topic of this book. The aim is to provide an introduction to the field, starting at an elementary level and going to close to the current research front. The reader will find concepts, theorems, algorithms, and examples. Particularly addressed to Ph.D. students and junior researchers working on control of...
Cambridge: Cambridge University Press, 2022. — 375 p. Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and more generally on combinatorics on words, by introducing a decision method through which many new results in combinatorics and number theory can be automatically...
2nd Edition, 2020. — 131 p. — ISBN N/A, ASIN B08R45M11D. Формальный язык и теория автоматов Книга содержит подробный обзор всех тем, связанных с теорией вычислений, упомянутых в программах B.E., M.C.A. и M.Sc. (Компьютерные науки) различных университетов. Достаточное количество теоретических данных, подкрепленных рядом иллюстраций, включено для тех, кто глубоко интересуется...
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...
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...
Department of Electrical Engineering ESAT-SCD (SISTA) Katholieke Universiteit, Leuven, Belgium. 2008. — 99 pp. In this paper, we give an elaborate and understandable review of traffic cellular automata (TCA) models, which are a class of computationally efficient microscopic traffic flow models. TCA models arise from the physics discipline of statistical mechanics, having the...
Tsinghua/Springer, 2008. — 441 p. — ISBN-10: 3540782567. The important summarizing work of RENJI TAO appears now in book form. It is a great pleasure for me to see this happen, especially because I have known Professor Tao as one of the very early contributors to public-key cryptography. The research community has missed a book such as the present one now published by Tsinghua...
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...
Издательство MIT Press, 1987, -279 pp.
In Greek mythology, the machinery of the universe was the gods themselves. They personally tugged the sun across the sky, delelivered rain and thunder, and fed appropriate thoughts into human minds. In more recent conceptions, the universe is created complete with its operating mechanism: once set in motion, it runs by itself. God sits...
Springer, 2021. — 377 p. — (Studies in Systems, Decision and Control 307). — ISBN: 978-3-030-53140-9. This book highlights both theoretical and applied advances in cellular learning automata (CLA), a type of hybrid computational model that has been successfully employed in various areas to solve complex problems and to model, learn, or simulate complicated patterns of behavior....
New York: Springer, 2012. — 311 p. The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel...
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...
Издательство 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...
New York: Auerbach Publications, Taylor & Francis Group, 2006. — 369 p. — ISBN10: 0-8493-8086-3; ISBN13: 978-0-8493-8086-0. This book discusses a topic that is among the central questions of software development. Therefore, we must position ourselves in that area to justify our right to express our opinion on that topic. Saying “we” implies at least one person in the co-author...
CRC Press, 2023. — 132 p. — eBook ISBN: 978-1-003-41580-0. Providing a comprehensive overview of the modeling of complex systems, with particular emphasis on the collective aspects of these systems, this book situates itself at the forefront of available literature. Exemplifying practically Wolfram’s theses found in A New Kind of Science, discussions center on where it is best...
Springer International Publishing AG, 2017. — 245 p. — (Lecture Notes in Mathematics 2188) — ISBN: 978-3-319-61598-1. Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski's classical theory of equidecomposability types monoids, abstract measure theory (in the spirit of Hans Dobbertin's work on monoid-valued measures on Boolean...
Springer Spektrum Wiesbaden, 2022. — 190 p. — (BestMasters). — eBook ISBN 978-3-658-39323-6 The main objective of this work is to represent the behaviors of weighted automata by expressively equivalent formalisms: rational operations on formal power series, linear representations by means of matrices, and weighted monadic second-order logic. First, we exhibit the classical...
CRC Press, 2002. — 608 p. ISBN: 0-201-62716-7, 0-201-62664-0 Are mathematical equations the best way to model nature? For many years it had been assumed that they were. But in the early 1980s, Stephen Wolfram made the radical proposal that one should instead build models that are based directly on simple computer programs. Wolfram made a detailed study of a class of such models...
Томск: из-во Томского ун-та, 1983. — 156 с. Книга посвящена проблеме логического проектирования больших интегральных схем из элементов с управляемой проводимостью, типичным примером которых может служить МДП-транзистор. В ней разрабатывается необходимый математический аппарат.
Томск: из-во Томского ун-та, 1985. — 129 с. Основное содержание книги составляют результаты авторов, относящиеся к характеризации декомпозиций конечных автоматов в классе сетей без обратных связей, установлению необходимых и достаточных условий существования нетривиальных таких декомпозиций и к оценке сложности каскадных декомпозиций автоматов на перестановочно-возвратные...
Учебное пособие. — М.: Ай Пи Эр Медиа, 2023. — 155 с. В учебном пособии рассматриваются основные задачи теории автоматов, различные словесные определения автоматов и их формальная классификация, математические и структурные модели типовых автоматов, способы задания абстрактных и структурных автоматов. Изложены математические основы алгебры логики, некоторые понятия и...
Lulu Press, 2019. — 418 с. — ISBN 978–0–359–73512–9. В книге представлены некоторые наши результаты, относящиеся к теории классических клеточных автоматов (КА). В настоящее время эти результаты составляют довольно существенную составляющую общей теории клеточных автоматов. В частности, мы изучали такие проблемы, как проблема неконструируемости конфигураций в КА, экстремальные...
Монография. — Гродно: ГрГУ, 2008. — 486 с. — ISBN: 978-985-515-020-7; ISBN: 978-9985-9508-4-5. В монографии рассматриваются основы теории классических однородных структур (ОС), представляющей собой базовую компоненту общей теории однородных структур (Cellular Automata): новую и весьма перспективную среду моделирования многих дискретных параллельных процессов, явлений и...
Монография. - Издательство Fultus Books, 2009. - 535с. ISBN: 1-59682-137-X Рассмотрены вопросы современной теории однородных структур (клеточных автоматов) и их приложений в качестве самостоятельного раздела современной математической кибернетики. Настоящая монография ориентирована на самый широкий круг читателей, интересующихся важными направлениями современной вычислительной...
Монография. — Fultus Books, 2009. — 535 с. — ISBN: 1-59682-137-X. Список принятых сокращений List of the adopted abbreviations Предисловие Введение Базовая концепция однородных структур Основные понятия, определения и обозначения Основные типы однородных структур Архитектура теории однородных структур и ее приложений Аппарат исследований в теории однородных структур Проблема...
Монография. — Гродно : ГрГУ, 2008. — 486 с. — ISBN: 978-985-515-020-7; ISBN: 978-9985-9508-4-5. В монографии рассматриваются основы теории классических однородных структур (ОС), представляющей собой базовую компоненту общей теории однородных структур (Cellular Automata): новую и весьма перспективную среду моделирования многих дискретных параллельных процессов, явлений и...
В пособии исследуется логический этап проектирования цифровых синхронных схем. При этом предполагается, что читатель знаком с основами логического проектирования комбинационных схем.
Издательство: Статистика, 1975, 335 c. Монография посвящена рассмотрению математического аппарата количественного и качественного анализа АСУ. Конечные автоматы благодаря их простой реализуемости на ЭВМ имеют значительные преимущества по сравнению с другими моделями. Авторы знакомят читателей с основными достижениями в этой области. Книга рассчитана на разработчиков АСУ и...
Учебно-методическое пособие. — Саратов: Изд–во ГосУНЦ «Колледж», 2003. — 24с.
В лабораторной работе описывается краткая теория клеточных автоматов, дается описание лабораторных работ, формулируются контрольные вопросы и задания для выполнения работ. Предназначено для студентов факультета компьютерных наук и информационных технологий, факультета гуманитарных и социальных наук,...
Учебно-методическое пособие. - Нижний Новгород: Нижегородский госуниверситет, 2011. - 32 с.
В методических указаниях рассматриваются практические задачи, необходимые для самостоятельной подготовки студентов по курсу "Теория автоматов и формальные грамматики". Приводятся основные понятия и результаты. Даются примеры практических заданий с решениями. Материалы могут быть...
Л.: Энергия, 1974. — 216 с.: ил. Книга посвящена комплексным вопросам формализации синтеза дискретных управляющих устройств от описания их работы на языке граф-схем алгоритмов до получения функционально-логических схем. Особый упор делается на изложении методов, удобных в инженерной практике и позволяющих строить микропрограммные автоматы реальной степени сложности, содержащие...
2-е изд., перераб. и доп. — Л.: Энергия, Ленинградское отделение, 1979. — 232 с. В книге в доступной для инженера-разработчика форме изложены основы теории конечных автоматов и операторных, схем алгоритмов, связанные воедино с теорией и практикой проектирования микропрограммных управляющих устройств. Основное внимание уделено методам, удобным в инженерной практике н...
Методические рекомендации и контрольные задания для студентов вузов. Цель и задачи дисциплины. Требования к уровню освоения содержания дисциплины. Объем дисциплины и виды учебной работы. Содержание дисциплины: Классификация и характеристики автоматов. Формальные языки и грамматики. Основные понятия и законы алгебры логики. Синтез комбинационной схемы автомата. Синтез автоматов...
Минск : Беларуская навука, 2014. — 231 с. : ил. — ISBN: 978-985-08-1750-1. В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных...
Навч. посібник. — Суми: Сумський державний університет, 2016. — 354 с. Викладено основні поняття й теоретичні положення дискретного аналізу, методи побудови математичних моделей цифрових та керуючих скінченних автоматів, функціонально орієнтованих на застосування в задачах розроблення технічних засобів автоматики та управління в комп’ютеризованих інформаційно-керуючих системах....
Монография. — Липецк: ЛЭГИ, 2005. — 124 с. Представлены подходы к построению дискретных моделей, базирующихся на клеточной интерпретации. Рассмотрены дискретные пространственные, дискретные пространственно-временные, конечно-аргументные модели. Дискретно-аргументный подход можно использовать для описания сложных технологических процессов, характеризующихся многостадийностью...
Киев: Наукова думка, Академия наук Украинской ССР Институт прикладной математики и механики, 1973. — 145 с. Книга посвящена некоторым вопросам теории экспериментов с автоматами и ее применения в технической диагностике. Рассматриваются контрольные эксперименты, эксперименты по распознаванию автомата известного класса, вероятностные эксперименты с сетями автоматов. Кроме того,...
М.: Радио и связь, 1987. — 392 с. В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют упражнения.
М.: Радио и связь, 1987. 392 с.
В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют...
Одеса 2001(украинский язык)
Конспект лекцій складений для студентів спеціальності «Спеціалізовані комп'ютерні системи». Конспект призначений для спрощення роботи студентів (і викладача) під час лекцій і містить набір ключових понять, схем, таблиць і описів, необхідних для більш повного розуміння матеріалу лекцій.
М.: Институт Системного Программирования РАН. – 60 с.
Рассматриваются конечные автоматы, отличающиеся от классического автомата Мили тем, что переход осуществляется либо по приему стимула (входного символа), либо по выдаче реакции (выходного символа), причем в каждом состоянии выбор одного из допустимых переходов недетерминирован. Такими автоматами являются автоматы с...
М.: Институт Системного Программирования РАН. – 21 с.
Рассматривается применение теории конечных автоматов к проблеме тестиро-вания программ. Проблема сводится к тестированию конечного автомата. Описывается тестирование автоматов по графам состояний, фактор-графы, тестирование автоматов по фактор-графам и способы построения фактор-графов.
Данная работа поддержана грантами РФФИ...
Учебное пособие. — Томск: Томский государственный университет, 2011. — 172 с. В пособии изложены основные понятия теории автоматов, рассмотрены этапы проектирования дискретного устройства: построение функциональной модели, минимизация числа состояний автомата, синтез логической сети, кодирование состояний, тестирование комбинационной схемы. Каждый раздел сопровождается...
Учебное пособие. — М.: Наука, Главная редакция физико-математической литературы, 1985. — 288 с. В книге в систематической форме излагаются основные результаты и методы теории вероятностных автоматов. Подробно рассматриваются свойства языков, многотактных каналов и последовательностей случайных кодов, представимых конечными вероятностными автоматами, методы синтеза вероятностных...
Авторы: А.Г. Астановский, В.И. Варшавский, В.Б. Мараховский, В.А. Песчанский, Л.Я. Розенблюм, Н.А. Стародубцев, Р.Л. Финкельштейн, Б.С. Цирлин. — М.: Наука, 1976. — 424 с. — (Теоретические основы технической кибернетики). В книге предлагается новый подход к построению дискретных вычислительных и управляющих устройств, базирующийся на использовании так называемых апериодических...
А.Г. Астановский, В.И. Варшавский, В.Б. Мараховский, В.А. Песчанский, Л.Я. Розенблюм, Н.А. Стародубцев, Р.Л. Финкельштейн, Б.С. Цирлин. — М.: Наука, 1976. — 424 с. — (Теоретические основы технической кибернетики). В книге предлагается новый подход к построению дискретных вычислительных и управляющих устройств, базирующийся на использовании так называемых апериодических...
Монография, Москва, "Наука", 1973, 408
Поведение автоматов в случайных средах
Игры автоматов
Случайное парное взаимодействие в коллективах автоматов
Модели коллективного поведения
Поведение систем взаимодействующих автоматов
Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. — Санкт-Петербург: Наука, 2011. — 244 с. — ISBN: 978-5-02-038160-5. В книге рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных...
СПб: СПбГУ ИТМО, 2011. – 242 с. В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным...
Учеб. пособие для вузов. - Тирасполь, 2001. 120 с. В учебном пособии излагаются основы современной теории автоматов, представляющих собой одну из основных моделей управляющих систем. Рассматриваются вопросы, связанные с формальными языками и грамматиками, общей теорией алгоритмов, магазинными и конечными автоматами. Представлен прикладной аспект проектирования дискретных...
М.: Наука, 1966. — 272 с. — (Теоретические основы технической кибернетики). Предлагаемая книга Артура Гилла — доктора наук по электротехнике, преподавателя Калифорнийского университета — содержит систематическое изложение основных вопросов теории конечных автоматов. Особое внимание в книге уделено методам анализа. Вопросы синтеза конечных автоматов здесь не рассматриваются....
Монография. — М.: Наука, Главная редакция физико-математической литературы, 1966. — 272 с.: ил. В монографии излагаются новые методы исследования вырожденных задач теории оптимальных процессов, связанных с особыми управлениями и скользящими режимами. Такие задачи часто встречаются в проблемах космической навигации, динамики полета и т.д. Принцип максимума и многие другие...
Монография. — М.: Наука, Главная редакция физико-математической литературы, 1966. — 272 с.: ил. В монографии излагаются новые методы исследования вырожденных задач теории оптимальных процессов, связанных с особыми управлениями и скользящими режимами. Такие задачи часто встречаются в проблемах космической навигации, динамики полета и т.д. Принцип максимума и многие другие...
Перевод с английского. — Москва: Мир, 1970. — 326 с. В книге достаточно полно изложены основные понятия и результаты теории контекстно-свободных грамматик и языков, прослеживаются ее связи с теорией автоматов, языками программирования, лингвистикой и машинным переводом. Имеется большое число упражнений самой различной трудности, которые в совокупности существенно дополняют...
М.: Государственное издательство физико-математической литературы, 1962. — 476 с. — (Математическая логика и основания математики).
Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной...
М.: Физматгиз, 1962. — 476 с. — (Математическая логика и основания математики). Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе...
Учебное пособие. — Москва: Московский ордена Ленина энергетический институт, 1973. — 106 с. Алгоритмический этап синтеза. Абстрактный синтез. Кодирование внутренних состояний автомата. Структурный синтез. Автоматизация процесса синтеза автоматов.
М. : АСТ, 2008. — 560 с. — ISBN: 978-5-17-049562-7 В учебнике излагается теория автоматов, являющаяся одной из основных дисциплин, читаемых для студентов по направлению "Информатика и вычислительная техника". Особое внимание уделяется созданию эффективного математического обеспечения проектирования автоматов на всех этапах их разработки: алгоритмическом, абстрактном, этапе...
ВВЕДЕНИЕ.
ЛОГИЧЕСКИЕ ОСНОВЫ ЦИФРОВЫХ АВТОМАТОВ.
Основные понятия алгебры логики.
Базис И, ИЛИ, НЕ. Свойства элементарных функций алгебры логики.
Способы описания булевых функций.
Табличное описание булевых функций.
Аналитическое описание булевых функций.
Числовая форма представления булевых функций.
Графическая форма представления булевых функций.
Геометрическое...
Учебное пособие. Теория + Примеры — М.: МГТУ имени Н.Э. Баумана, 2013. – 63 с.: ил. Ключевые положения теории автоматов как отдельной научной и учебной дисциплины. Рассмотрены базовые модели теории, их построение и эквивалентность, основные классы автоматов. Излагаются вопросы, относящиеся к минимальным автоматам. Большое место отведено практике структурного синтеза автомата –...
Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. Вып. 53. Автоматное программирование. 2008, с. 162–176. УДК 004.4’242 В.С. Гуров, Б.Р. Яминов Верификация автоматных программ при помощи верификатора unimod.verifier
Переработка информации с помощью конечных автоматов. Конечные автоматы распознаватели. Детерминированные конечные автоматы (ДКА) и автоматные языки. Произведение автоматов. Недетерминированные конечные автоматы и их детерминизация. Регулярные выражения и языки. Регулярные языки и конечные автоматы. Автоматы для регулярных языков. Свойства замкнутости класса автоматных языков....
СПб.: Университет ИТМО, 2019. — 142 с. Учебное пособие охватывает различные аспекты верификации вычислительных процессов, реализованных аппаратно, на уровне логических схем (часть 1) и программно (часть 2). В данной части приведено обоснование важности верификации проектов, даны определения формальной и функциональной верификаций вычислительных процессов, их валидации....
М.: Энергия, 1974. — 240 с.: ил. Цифровые автоматы с настраиваемой структурой (АНС) на базе однородных сред (ОС) представляют собой новый класс схем, состоящих из однотипных элементов, соединенных между собой одинаковым образом. Однотипность элементов и связей между ними повышают технологичность и экономичность изготовления структур методами интегральной технологии...
Учебное пособие. — Томск: ТГУ, 2009. — 111 с. Настоящее пособие является второй частью монографии и посвящено решению уравнений и неравенств в алгебре конечных автоматов Авторы обсуждают различные области применения автоматных уравнений, методы и алгоритмы решения таких уравнений. Пособие предназначено для студентов кафедры информационных технологий при исследовании дискретных...
Навчальний посібник. - К.: ВЕК +, 2008. - 176 с. - ISBN 966-7140-11-3.
Навчальний посібник присвячений питанням реалізації арифметичних операцій в цифрових. ЕОМ. Розглянуті питання побудови арифметичних пристроїв різних типів та засобів управління виконанням операцій. Запропоновані завдання та надані рекомендації по організації практичних і лабораторних занять, подані приклади...
Учебное пособие. - К.: ВЕК +, 2008. - 176 с. - ISBN: 966-7140-11-3. Учебное пособие посвящено вопросам реализации арифметических операций в цифровых. ЭВМ. Рассмотрены вопросы построения арифметических устройств различных типов и средств управления выполнением операций. Предложенные задания и даны рекомендации по организации практических и лабораторных занятий, представлены...
К.: Книжкове вид-во НАУ, 2007. - 364 с.
Розглянуто прикладні питання теорії цифрових автоматів, методи аналізу і синтезу логічних схем в сучасному елементному базисі, способи подання інформації та реалізації арифметичних операцій в ЕОМ. Запропоновано завдання та надано рекомендації з організації курсового проектування, лабораторних занять та контролю знань в умовах...
Практикум. - К.: ВЕК +, 2004. - 160 с., ил. - ISBN 966-7140-11-3. Розглядаються прикладні питання теорії цифрових автоматів, методи синтезу логічних схем в заданому елементному базисі, способи побудови типових вузлів та пристроїв ЕОМ. Навчальний посібник призначено для проведення лабораторних занять і організації курсового проектування зі студентами спеціальності "Комп'ютерна...
Н. Новгород: Нижегородский госуниверситет, 2017. — 60 с. В учебно-методическом пособии рассматриваются основные теоретические понятия и алгоритмы, относящиеся к контекстно-свободным языкам, автоматам с магазинной памятью и синтаксическому анализу. Изучение каждой темы сопровождается необходимым теоретическим материалом и примерами решения типовых задач. Предлагаются также...
М.: Наука, 1971. — 512 с. Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС. Излагается методика программирования в языке ЛЯПАС, а...
М.: Наука, 1971. — 512 с. — (Теоретические основы технической кибернетики). Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС....
Екатеринбург: Изд-во Урал. ун-та , 2007. – 248 с.
В пособии систематически изложены ряд важных разделов теории формальных языков и приложения этой теории к построению компиляторов. Пособие рассчитано на математически ориентированных читателей.
Для студентов математических направлений и специальностей, изучающих дисциплины «Лингвистические основы информатики», «Теория...
Учебное пособие. — М.: Академия имени Н.Е. Жуковского, 2020. — 76 с. — ISBN 978-5-907275-15-7. Учебное пособие издается в соответствии с рабочей программой учебной дисциплины «Теория автоматов» по учебному плану для студентов I и II курсов направления «Информатика и вычислительная техника» очной формы обучения. Данное учебное пособие позволит студентам изучить разделы,...
Учебное пособие. — М.: Академия имени Н.Е. Жуковского, 2021. — 76 с. — ISBN 978-5-907275-94-2. Учебное пособие предназначено для обучающихся по направлению «Информатика и вычислительная техника», изучающих дисциплину «Теория автоматов». В данном учебном пособии рассматривается комплекс вопросов, связанных с элементами памяти цифровых автоматов, синтезом автоматов с памятью и...
Учебное пособие. – Ульяновск: УлГТУ, 2003.
Изложены основные понятия формальных грамматик, приведены синтез абстрактного и структурного конечных цифровых автоматов. Рассмотрены работы машин Тьюринга и сетей Петри. Предназначена для студентов специальности 200700 «Радиотехника», 220100 «Вычислительные машины, комплексы и системы связи», 200900 «Сити связи и системы коммутации».
В учебно-методическом пособии рассматривается применение модели конечного автомата и его модификаций при создании информационно-управляющих систем. Анализируется специфика задач управления и языки, используемые для описания управляющих алгоритмов. Рассматриваются типовые алгоритмы, используемые при решении задач промышленной автоматизации.
Ульяновск: Ульяновский государственный технический университет (УлГТУ). Лекции для 2-го курса. Абстрактные автоматы. Структурный автомат. Кодирование состояний автомата. Функционирование цифровых автоматов.
Иванов Н.Н., Михайлов Г.И., Руднев В.В., Таль А.А.
под ред. С.В. Петрова. - М.: Издательство Наука, 1984, - 194 с.
В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые...
Учебное пос. МАДИ(ГТУ). -М. , 2007. – 133 с.
Обобщенные материалы по принципам функционирования, построения и методике синтеза схем логических автоматов, относящихся к простейшим схемам – комбинационного типа.
Описание и характеристики основных серий интегральных цифровых микросхем (ИЦМ). Схемотехника их базовых элементов, типов и особенностей эксплуатации.
Сведения по...
Учебное пособие. В 2 ч. Ч. 2. Счетчики / А.В. Илюхин, А.М. Колбасин; МАДИ. - М.: МАДИ, 2013. – 52 с. В учебном пособии излагаются сведения по построению и применению микросхем последовательностного типа для синтеза схем логических автоматов, применяемых при автоматизации технологических процессов и производств. Пособие предназначено для студентов, обучающихся по направлению...
СПб.: Питер, 2003. — 208 с.: ил. — ISBN 5-318-00537-3. Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации. В этом учебнике практическое использование...
СПб.: Питер, 2003. - 208 с.: ил. - ISBN 5-318-00537-3. Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации. В этом учебнике практическое...
М.: Альпина Диджитал. — ISBN: 978-5-9614-6549-5. Вычислительное мышление – это мощный инструмент для решения задач и понимания мира. Оно лежит в основе программирования, благодаря ему ученые решают задачи в области информатики, но его же можно использовать и для решения повседневных проблем. Оно настолько важно, что во многих странах его стали преподавать в школе. Но в чем же...
М.: Интуит, 2016. — 90 с. Приводятся начальные сведения об абстрактных автоматах Мили и Мура. Даются возможные способы представления автоматов: теоретико-множественное, графовое, табличное и матричное, понятия реакции автомата и эквивалентных автоматов. Приводятся методы взаимного эквивалентного преобразования автоматов. Приводятся общие сведения о микропрограммном управлении,...
М.: ГИФМЛ, 1962. - 405 с. В последние годы повсеместно и с большой интенсивностью ведутся работы по созданию и применению различных автоматических систем дискретного действия для переработки информации. Они лежат в основе быстродействующих цифровых вычислительных машин, автоматических устройств для управления объектами и систем, моделирующих деятельность живого организма (так...
М.: Энергоиздат, 1981. — 168 с.: ил. В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся...
М.: Энергоиздат, 1981. — 168 с., ил. В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся...
Учебное пособие. -М.: МИФИ, 2008 . 116 с. Распознано Рассматриваются вопросы представления детерминированных функций k-значных логик, способы задания, анализа и синтеза автоматов. Рассмотрены также базовые понятия теории кодирования, включая вопросы распознавания кодов автоматами. Пособие предназначено для студентов, обучаемых по специальности «Прикладная математика и...
М.: НИЯУ МИФИ, 2012. — 92 с. В пособие включены задачи по лингвистике, теории автоматов и кодированию. Задачи разделены по темам, каждый раздел содержит крат- кое изложение базовой теории. Для ряда задач даны ответы или указания. Данное пособие предназначено для студентов факультета кибернетики и информационной безопасности, изучающих математическую лингвистику и теорию...
Видавництво Дніпропетровського університету, 2009. - 264 с. Викладені логічні аспекти проектування цифрових автоматів. Подані основні положення алгебри логіки, розглянуті проблеми проектування комбінаційних та послідовнісних цифрових автоматів на основі типових логічних схем. Акцентується увага на алгоритмах мінімізації логічної структури, вирішенні проблеми перегонів у...
Учебное пособие Основы прикладной теории цифровых автоматов. Информационные основы цифровых автоматов. Информация и общие принципы ее преобразования. Обмен информацией между различными информационными устройствами. Аппаратные средства хранения и обработки информации. Общие понятия о цифровом автомате и алгоритме Представление числовой информации в цифровом автомате Системы...
Конспект лекции по теории структурных автоматов. МГУ. - 10 стр.
Конечный алфавит, слово, длина слова.
Детерминированная функция.
Остаточная, ограниченно-детерминированная функция.
Операции суперпозиции.
Операция переименования переменного.
Операция отождествления переменных.
Операция проектирования,
Операция дублирования,
Операция объединения.
Операция подстановки....
М.: Наука. Гл. ред. физ.-мат. лит., 1985. - 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
М.: Наука. Гл. ред. физ.-мат. лит., 1985. — 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
М.: Наука. Гл. ред. физ.-мат. лит., 1985. — 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
Москва: Московский государственный университет (МГУ) имени М.В. Ломоносова, 1978. — 216 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами. Книга рассчитана на студентов, аспирантов и научных сотрудников, желающих ближе ознакомиться с теорией автоматов.
М.: Наука, 1992. — 298 с. Излагаются основные результаты по теории однородных структур, полученные советскими и зарубежными авторами за последние 30 лет. В первой части изучаются автономные однородные структуры. Объектом исследования являются процессы, происходящие внутри этих структур, т.е. поведение их. Во второй части изучаются однородные структуры со входами и выходами, для...
М.: Изд-во Моск. ун-та, 1985. — 174 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами, прототипами которых являются различные реальные устройства. Предлагаемая книга содержит достаточно обширный материал по теории абстрактных автоматов и посвящена рассмотрению...
Москва: Издательство Московского университета, 1985. — 174 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами, прототипами которых являются различные реальные устройства. Предлагаемая книга содержит достаточно обширный материал по теории абстрактных автоматов и...
Яросл. гос. ун-т им. П. Г. Демидова. — Ярославль : ЯрГУ, 2012. — 81 c. — ISBN: 978-5-8397-0893-8. Монография посвящена автоматным счетчиковым машинам и тем формальным языкам, которые способны распознавать/задавать эти абстрактные математические машины. Приведенные здесь результаты представляют интерес как для теории формальных моделей вычислений, так и для теории формальных...
3-е изд., перераб. и доп. – М.: Энергоатомиздат, 1989. – 328 с. Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации...
М.: Энергоатомиздат, 1989. — 328 с. Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации на основе различных моделей...
Учебное пособие. — СПб.: СПбГУАП, 2000. — 119 с.: ил. — ISBN: 5-8088-0044-7. В пособии приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования...
Учебное пособие. — СПб.: СПбГУАП, 2000. — 119 с.: ил. — ISBN: 5-8088-0044-7. В пособии приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования...
Учеб. пособие/СПбГУАП. СПб., 2009. - 119 с.: ил. - ISBN 5-8088-0044-7. В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на...
Учеб. пособие/СПбГУАП. СПб., 2009. - 119 с.: ил. - ISBN 5-8088-0044-7. В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на...
М.: Мир, 1971. — 366 с. Монография одного из крупнейших американских ученых рассматривает фундаментальные вопросы теории автоматов. Изложена классическая теория конечных автоматов, машин Тьюринга и систем Поста. Подход автора в значительной степени отличается от традиционного. В его основе лежит понятие эффективной процедуры, включающее язык для описания поведения и характеристику...
Выходные данные не указаны. — 123 с. Вспомогательные понятия Случайные функции Понятие случайной функции Матрицы, соответствующие конечным случайным функциям Вероятностные распределения Строки и функции на строках Строки и связанные с ними понятия Функции на строках Автоматы Мура Понятие автомата Мура Достижимые состояния и реакция автомата Достижимая часть автомата Линейные...
Учебное пособие по курсовому проектированию. — Йошкар-Ола: Поволжский государственный технологический университет, 2015. — 128 с. Приведены необходимые теоретические сведения, методика выполнения, варианты заданий и пример оформления курсовой работы. Для студентов направления подготовки 230100.62 «Информатика и вычислительная техника».
Учебное пособие. — Иркутск: ИрГУПС, 2018. — 72 с. В учебном пособии рассматриваются вопросы анализа и синтеза управляющих автоматов сложных технических систем реального времени. Новая теория синтеза автоматов основана на предварительном преобразовании операторной схемы алгоритма управления за счет ввода пустых операторов в отдельные ветви граф-схем. Преобразование алгоритмов или...
Учебное пособие. – СПб: НИУ ИТМО, 2013. – 84 с. Целью данного учебного пособия является ознакомление студентов с методами синтеза цифровых автоматов. Приводятся сведения об абстрактных автоматах Мили и Мура. Рассматриваются табличный и графовый способы представления автоматов, вводится понятие реакции автомата на входное слово и определение эквивалентных автоматов. Представлены...
Учебное пособие. — Махачкала. 2006.
В пособии излагаются основные понятия теории вычислительных процессов и структур. Даны понятия формальных грамматик и основы теории конечных цифровых автоматов, приведены математические модели для описания взаимодействующих процессов на основе сетей Петри и нотаций Хоара, рассматриваются методы и средства синхронизации и связи...
СПб.: СПбГПУ, 2008. — 227 с. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного...
2-е издание. — СПб.: Питер, 2010. — 176 с. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его...
Учебно-методическое пособие для практических занятий. — Красноярск: Сибирский федеральный университет, 2012. — 67 с. Дано описание программы ModLogic, предназначенной для моделирования функциональных логических комбинационных схем и автоматов. Приведены задания, выполняемые при изучении дисциплины «Теория автоматов». Каждое задание содержит пример выполнения. Предназначено для...
Лабораторный практикум. — Красноярск: Сибирский федеральный университет, 2012. — 87 с. Ддано описание программного обеспечения, использующегося при выполнении лабораторных работ: программы ModLogic, предназначенной для моделирования функциональных логических комбинационных схем и автоматов, эмулятора управляющих автоматов с программируемой логикой, программной модели...
Учеб. пособие для вузов по спец. Вычислительные машины, комплексы, системы и сети. - Красноярск, 2000. - 296 с.: ил. Излагаются способы представления информации в цифровых автоматах, методы выполнения основных арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Рассматриваются...
Учеб. пособие для вузов по направлению подгот. "Информатика и вычисл. техника". - Федерал. агентство по образованию, Краснояр. гос. техн. ун-т. - Красноярск: КГТУ, 2006. - 376 с. - ISBN 5-7636-0865-8.
Информация и вычислительные машины.
Системы счисления.
Основы алгебры логики.
Минимизация ФАЛ.
Основные электронные узлы комбинационного типа.
Основы теории автоматов....
Учебное пособие. — Красноярск: Сибирский федеральный университет, 2017. — 206 с. — ISBN: 978-5-7638-3661-5 Приведены сведения об абстрактных автоматах Мили и Мура, способах их представления, понятие реакции автомата на входное слово и определение эквивалентных автоматов. Описаны методы взаимного эквивалентного преобразования автоматов. Даны примеры синтеза структурных автоматов...
Системы счисления. Перевод из одной системы счисления в другую. Выполнение сложения в разных системах счисления. Представление двоичных чисел в прямом, обратном и дополнительном кодах. Модифицированные коды. Способы представления автоматов. Эксперименты с автоматами. Синтез автоматов по дереву управления. Структурный синтез автомата.
Алгоритмическая система Тьюринга.
М.Наука, 1984 Основная часть работ сборника посвящена наиболее важным аспектам проектирования устройств логического управления: языкам описания алгоритма управления, синтезу устройств из элементов нового типа, вопросам автоматизации проектирования их, надежности устройств на основе использования избыточного кодирования. Для специалистов в области разработки и эксплуатации...
Учебное пособие для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. ВлГУ- 2009 Канонический метод структурного синтеза Триггеры Регистры Сумматоры Синтез схемы автомата Мура по заданному графу Счетчики Кодирование состояний автомата. Пример синтеза автомата Мили Задачи и упражнения Литература
Учебное пособие. — М.: МГТУ ГА, 2008. — 116 с. Данное учебное пособие издается в соответствии с рабочей программой учебной дисциплины СД01 «Теория автоматов» по Учебному плану специальности 230101 для студентов II курса дневного обучения, утвержденному в 2001 году. Учебное пособие являются продолжением ранее изданного пособия «Теория автоматов», часть I. В данном учебном...
Учебное пособие. — М.: МГТУ ГА, 2007. — 96 с. Учебное пособие предназначено для изучения первой части дисциплины «Теория автоматов» студентами 2-го курса специальности 230101. В пособии рассмотрены элементы теории алгоритмов, основы алгебры логики, а также методы анализа и синтеза комбинационных схем. Подробно рассмотрены методы минимизации логических функций. Особое внимание...
М.: Изд-во МГТУ им. Н. Э. Баумана. Излагаются основные понятия информатики, методы измерения и представления информации, способы представления числовой информации в информационных системах, методы и алгоритмы выполнения арифметических и логических операций в различных системах счисления. Уделяется внимание методам контроля правильности функционирования цифровых автоматов как...
Учеб. для вузов по спец. ЭВМ. - М.: Высш. шк., 1987. 272 с. - ил. В книге излагаются способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности...
Учеб. для вузов по спец. ЭВМ. — М.: Высшая школа, 1987. — 272 с., ил. В книге излагаются способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности...
Учебное пособие, 1988 г., 73 стр. Саратовский государственный университет. ISBN 5-292-00263-1 В пособии излагаются основные понятия и результаты теории конечных автоматов без выхода, связанные с универсально-алгебраическими конструкциями. Представление об автомате без выхода как о конечной унарной алгебре позволяет применить в теории автоматов хорошо разработанные...
К.Г. Самофалов, А.М. Риманкевич, В.Н. Валуйский, Ю.С. Каневский, М.М. Пиневич. - К.: Вища шк. Головное изд-во, 1987. - 375 с. В учебнике рассмотрены вопросы проектирования к теории цифровых автоматов с учетом их реализации на современной элементной базе: арифметические основы, элементы теории, структурные методы синтеза на интегральных микросхемах, элементы теории...
Ленинград: Энергоатомиздат, 1984. — 113 с. Книга посвящена вопросам синтеза дискретных автоматов, обладающих свойством обнаружения отказов в процессе функционирования. Излагаемые методы синтеза основаны на применении для кодирования состояний автоматов кодов с постоянным весом. Описываются способы реализации самоконтролирующихся контрольных схем. Синтезированы типовые узлы...
Ленинград: Энергия, 1980. — 97 с. В книге рассматриваются методы синтеза конечных асинхронных автоматов, устойчивых к состязаниям и отказам внутренних элементов. Эти методы становятся все актуальнее в связи с увеличением сложности дискретных систем управления. Описываются способы упрощения логического преобразователя за счет оптимального кодирования состояний. Достоинством книги...
Конспект лекций. – М., МИФИ, 2004. - 88С.
Учебное пособие предназначено для студентов факультета Кибернетики, изучающих на пятом семестре математическую лингви-стику и основы теории автоматов. Пособие представляет собой конспект лекций по этому курсу. В дальнейшем планируется расширить представленный материал и дополнить его методическими указаниями, примерами и задачами. Пособие...
Монография. — Донецк: Институт прикладной математики и механики НАН Украины, 2013. — 307 c. Монография посвящена разработке методов анализа семейств автоматов, заданных рекуррентными соотношениями на алгебраических структурах над конечным кольцом. Разработаны методы решения систем уравнений с параметрами над конечным кольцом. Построен решатель, предназначенный для проверки...
Екатеринбург : УрФУ, 2013. — 160 с. — ISBN: 978-5-321-02344-0. В учебном пособии раскрываются информационные основы цифровых автоматов. Рассматриваются общие принципы разработки алгоритмов аппаратной реализации арифметических действий в цифровых автоматах. Приводятся алгоритмы синтеза и эквивалентных преобразований автоматов. Даются задания для выполнения расчетно-графической...
М.: Интуит, 2016. — 355 с. — ISBN: 9785996302680. Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном курсе лекций излагаются результаты теории экспериментов с...
М.: Интуит, 2016. — 355 с. Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном курсе лекций излагаются результаты теории экспериментов с автоматами, востребованные...
Учебное пособие по дисциплине «Теория автоматов». – Барнаул: Изд-во АлтГТУ, 2009. – 162 c., ил. В пособии изложен теоретический материал по разделам курса «Теория автоматов», приведены задания для выполнения лабораторных работ по рассмотренным в пособии темам, дано описание обучающего программного комплекса по курсу. Учебное пособие предназначено для студентов, обучающихся на...
СПб.: КиТ, 2006. - 32 с.
Описывают применение SWITCH-технологии для организации работы с микроконтроллерами,
а также даются примеры на СИ. Описываются конечные автоматы Мура и Мили, а также смешанный автомат.
Саратов: ИСУ, 1988. - 184 с.
В книге изложены результаты исследований по построению общей аксиоматической теории распознавания автоматов, включающей распознавание автоматов с магазинной памятью, линейно-ограниченных автоматов и машин Тьюринга. Показывается алгоритмическая неразрешимость рассматриваемого класса задач и исследуется проблематика построения частных методов...
СПб.: Супер Издательство, 2022. — 193 с. — ISBN 978-5-9965-2221-7. Книга описывает новые методы построения моделей программируемых логических автоматов (процессоров) в виде принципиальных логических схем и написана для читателей, интересующихся системами и устройствами программного управления и цифрового регулирования различными объектами, с использованием программируемых...
СПб.: Супер Издательство, 2022. — 192 с.: ил. — ISBN 978-5-9965-2221-7. Книга описывает новые методы построения моделей программируемых логических автоматов (процессоров) в виде принципиальных логических схем и написана для читателей, интересующихся системами и устройствами программного управления и цифрового регулирования различными объектами, с использованием программируемых...
М., "Наука", 1970 г. , 400 стр.
Книга посвящена поведенческой (абстрактной) теории автоматов:
Поведение автоматов без выходов и с выходом.
Метаязыки.
Расшифровка автоматов.
Статистические оценки параметров и спектров автоматов.
Практические задачи теории автоматов: Методические рекомендации по выполнению лабораторных работ № 1-9 по дисциплине «Теория автоматов» для студентов специальности 230101 очной формы обучения Методическое пособие содержит краткие теоретические сведения и задания для получения первичных навыков по практическому решению задач логического проектирования достаточно простых узлов...
2-е изд. Пер. с англ. — Москва; Санкт Петербург; Киев: Вильямс, 2002. — 528 с.: ил. — ISBN 5-8459-0261-4. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
2-е изд. Пер. с англ. — Москва; Санкт-Петербург; Киев: Вильямс, 2008. — 528 с.: ил. — ISBN 978-5-8459-1347-0. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
2-е изд. Пер. с англ. — Москва, Санкт Петербург, Киев: Вильямс, 2008. — 528 с.: ил. — ISBN: 978-5-8459-1347-0. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
2-е изд. — Пер. с англ. — Москва, Санкт Петербург, Киев: Вильямс, 2002. — 528 с.: ил. — ISBN: 5-8459-0261-4. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
Монография. — Москва: Наука, Главная редакция физико-математической литературы, 1969. — 316 с. Книга составлена из основных работ выдающегося советского специалиста в области кибернетики М. Л. Цетлина. Первая часть книги посвящена математическому моделированию простейших форм целесообразного поведения. Излагается теория игр автоматов. Отыскивается конструкция достаточно...
Посібник для студентів I - II курсів, що вивчають курс "Дискретної математики". Даний посібник складається з одного розділу "Теоріі автоматів" та 35 додаткових завдань. Вся теорія детально описана, з наочними прикладами. Зміст Поняття скінченного автомата. Автоматне відображення Гомоморфізм, ізоморфізм і еквівалентність автоматиів Мінімальний автомат Автомати Мілі та автомати Мура
М.: Издательство иностранной литературы, 1956. — 402 с. Настоящая книга является переводом сборника статей по теории автоматов. Это - молодая научная дисциплина (отрасль кибернетики), возникшая под влиянием запросов техники цифровых вычислительных машин и моделирующих устройств. Сборник отражает различные аспекты теории автоматов. Некоторые статьи посвящены вопросам, связанным...
М.: Издательство иностранной литературы, 1956. — 402 с. Настоящая книга является переводом сборника статей по теории автоматов. Это - молодая научная дисциплина (отрасль кибернетики), возникшая под влиянием запросов техники цифровых вычислительных машин и моделирующих устройств. Сборник отражает различные аспекты теории автоматов. Некоторые статьи посвящены вопросам, связанным...
Комментарии