Зарегистрироваться
Восстановить пароль
FAQ по входу

Теория автоматов

Требуется помощь в преобразовании раздела Информатика и вычислительная техника

Если Вы компетентны в тематике этого раздела, то Вас, возможно, заинтересует обсуждение планируемых преобразований.
Издательство Springer, 2010, -184 pp. 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...
  • №1
  • 24,79 МБ
  • добавлен
  • изменен
Издательство 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...
  • №2
  • 19,10 МБ
  • добавлен
  • изменен
Издательство 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...
  • №3
  • 14,97 МБ
  • добавлен
  • изменен
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...
  • №4
  • 22,10 МБ
  • добавлен
  • изменен
Издательство 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...
  • №5
  • 3,14 МБ
  • добавлен
  • изменен
Издательство Academic Press, 1971, -444 pp. 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 future. In writing this text, we had in mind a wide audience. We naturally hoped it would be useful to specialists in switching or...
  • №6
  • 5,30 МБ
  • добавлен
  • изменен
Cambridge University Press, 2003. — 589 pg. 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 and...
  • №7
  • 2,59 МБ
  • добавлен
  • изменен
Cambridge University Press, 2006. — 265 p. — ISBN-13: 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...
  • №8
  • 1,06 МБ
  • добавлен
  • изменен
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...
  • №9
  • 2,66 МБ
  • добавлен
  • изменен
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...
  • №10
  • 12,13 МБ
  • добавлен
  • изменен
Издательство Springer, 2008, -278 pp. The theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) and generative linguistics. Later, new specializations emerged from areas of either computer science (concurrent and distributed systems, computer graphics,...
  • №11
  • 4,31 МБ
  • добавлен
  • изменен
Издательство John Wiley, 2004, -304 pp. 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...
  • №12
  • 6,19 МБ
  • добавлен
  • изменен
Издательство Springer, 2006, -183 pp. 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...
  • №13
  • 1,48 МБ
  • добавлен
  • изменен
Издательство Springer, 2006, -444 pp. 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...
  • №14
  • 1,79 МБ
  • добавлен
  • изменен
Издательство Prentice Hall, 1989, -447 pp. 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...
  • №15
  • 14,54 МБ
  • добавлен
  • изменен
Издательство Springer, 2010, -460 pp. 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....
  • №16
  • 2,92 МБ
  • добавлен
  • изменен
Издательство Springer, 1988, -131 pp. 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...
  • №17
  • 1,29 МБ
  • добавлен
  • изменен
Издательство 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...
  • №18
  • 1,73 МБ
  • добавлен
  • изменен
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...
  • №19
  • 1,76 МБ
  • добавлен
  • изменен
Издательство 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...
  • №20
  • 937,21 КБ
  • добавлен
  • изменен
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...
  • №21
  • 1,70 МБ
  • добавлен
  • изменен
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...
  • №22
  • 5,82 МБ
  • добавлен
  • изменен
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...
  • №23
  • 13,64 МБ
  • добавлен
  • изменен
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. Although...
  • №24
  • 52,13 МБ
  • добавлен
  • изменен
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...
  • №25
  • 14,79 МБ
  • добавлен
  • изменен
Издательство 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...
  • №26
  • 1,89 МБ
  • добавлен
  • изменен
Издательство Springer, 2010, -493 pp. 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,...
  • №27
  • 3,01 МБ
  • добавлен
  • изменен
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 ideas,...
  • №28
  • 17,72 МБ
  • добавлен
  • изменен
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...
  • №29
  • 3,47 МБ
  • добавлен
  • изменен
Издательство Springer, 2002, -355 pp. 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...
  • №30
  • 2,64 МБ
  • добавлен
  • изменен
Издательство Oxford University Press, 2003, -353 pp. 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...
  • №31
  • 6,08 МБ
  • добавлен
  • изменен
Издательство Springer, 2010, -393 pp. 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...
  • №32
  • 4,98 МБ
  • добавлен
  • изменен
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...
  • №33
  • 9,10 МБ
  • дата добавления неизвестна
  • изменен
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,...
  • №34
  • 8,64 МБ
  • дата добавления неизвестна
  • изменен
Издательство World Scientific, 2004, -202 pp. The theory of formal languages began with the classification of languages by N. Chomsky in Syntactic Structures in 1957. Now, this classification is called the Chomsky hierarchy of languages. On the other hand, the theory of automata was initiated by M.O. Rabin and D. Scott in 1959. Their work can be regarded as the most important...
  • №35
  • 1,24 МБ
  • добавлен
  • изменен
Издательство 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...
  • №36
  • 690,80 КБ
  • добавлен
  • изменен
Издательство 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...
  • №37
  • 2,99 МБ
  • добавлен
  • изменен
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...
  • №38
  • 7,10 МБ
  • добавлен
  • изменен
Издательство 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...
  • №39
  • 2,09 МБ
  • добавлен
  • изменен
Издательство 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...
  • №40
  • 1,20 МБ
  • добавлен
  • изменен
Cambridge University Press, 2010. — 630 p. — ISBN-13 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 in...
  • №41
  • 7,42 МБ
  • добавлен
  • изменен
Издательство Springer, 1997, -414 pp. 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...
  • №42
  • 4,05 МБ
  • добавлен
  • изменен
Издательство 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...
  • №43
  • 3,06 МБ
  • добавлен
  • изменен
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 --...
  • №44
  • 4,77 МБ
  • добавлен
  • изменен
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 are...
  • №45
  • 4,34 МБ
  • добавлен
  • изменен
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...
  • №46
  • 2,60 МБ
  • добавлен
  • изменен
Издательство 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...
  • №47
  • 919,26 КБ
  • добавлен
  • изменен
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...
  • №48
  • 5,93 МБ
  • добавлен
  • изменен
Издательство John Benjamins, 2008, -152 pp. In the latter half of the 1950’s, Noam Chomsky began to develop mathematical models for the description of natural languages. Two disciplines originated in his work and have grown to maturity. The first of these is the theory of formal grammars, a branch of mathematics which has proven to be of great interest to information and...
  • №49
  • 1,22 МБ
  • добавлен
  • изменен
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...
  • №50
  • 29,24 МБ
  • добавлен
  • изменен
Third Edition. — Toronto: Jones & Bartlett Publishers, 2000. - 425 p. — ISBN 0-7637-1422-4. This book is designed for an introductory course on formal languages, automata, computability, and related matters. These topics form a major part of what is known as the theory of computation. A course on this subject matter is now standard in the computer science curriculum and is...
  • №51
  • 8,66 МБ
  • добавлен
  • изменен
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...
  • №52
  • 6,03 МБ
  • добавлен
  • изменен
Издательство Springer, 2013, -327 pp. 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...
  • №53
  • 45,10 МБ
  • добавлен
  • изменен
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...
  • №54
  • 5,77 МБ
  • добавлен
  • изменен
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 covers...
  • №55
  • 57,07 МБ
  • добавлен
  • изменен
Издательство Springer, 2014, -691 pp. 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...
  • №56
  • 4,69 МБ
  • добавлен
  • изменен
Издательство 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,...
  • №57
  • 7,11 МБ
  • добавлен
  • изменен
Издательство 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,...
  • №58
  • 2,16 МБ
  • добавлен
  • изменен
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 EDITION...
  • №59
  • 16,85 МБ
  • добавлен
  • изменен
Издательство Chapman & Hall/CRC Press, 2002, -553 pp. 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...
  • №60
  • 5,56 МБ
  • добавлен
  • изменен
The MIT Press, 2005. — 283 p. — ISBN-10 0262661918; ISBN-13 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.
  • №61
  • 2,61 МБ
  • добавлен
  • изменен
Издательство Springer, 1989, -268 pp. 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...
  • №62
  • 2,38 МБ
  • добавлен
  • изменен
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.
  • №63
  • 2,51 МБ
  • добавлен
  • изменен
Издательство Springer, 1997, -217 pp. 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...
  • №64
  • 7,98 МБ
  • добавлен
  • изменен
Издательство Springer, 2010, -213 pp. 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...
  • №65
  • 2,24 МБ
  • добавлен
  • изменен
Издательство Springer, 2009, -370 pp. The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and language design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles...
  • №66
  • 2,60 МБ
  • добавлен
  • изменен
New York: Springer, 2018. — 463 p. 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 within unknown stochastic environments. The...
  • №67
  • 12,55 МБ
  • добавлен
  • изменен
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...
  • №68
  • 16,43 МБ
  • добавлен
  • изменен
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...
  • №69
  • 7,79 МБ
  • добавлен
  • изменен
Издательство ISTE, 2014, -612 pp., two volumes Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days,...
  • №70
  • 3,12 МБ
  • добавлен
  • изменен
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 of...
  • №71
  • 2,79 МБ
  • добавлен
  • изменен
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 of...
  • №72
  • 6,15 МБ
  • добавлен
  • изменен
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...
  • №73
  • 3,84 МБ
  • добавлен
  • изменен
Издательство InTech, 2011, -580 pp. 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...
  • №74
  • 13,92 МБ
  • добавлен
  • изменен
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 computational...
  • №75
  • 9,71 МБ
  • добавлен
  • изменен
Издательство InTech, 2013, -198 pp. 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...
  • №76
  • 3,14 МБ
  • добавлен
  • изменен
Издательство 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...
  • №77
  • 3,11 МБ
  • добавлен
  • изменен
Издательство Springer, 1978, -184 pp. 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...
  • №78
  • 1,15 МБ
  • добавлен
  • изменен
Издательство 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...
  • №79
  • 608,85 КБ
  • добавлен
  • изменен
Издательство Springer, 2013, -488 pp. 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...
  • №80
  • 4,97 МБ
  • добавлен
  • изменен
Издательство Cambridge University Press, 2008, -254 pp. Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free...
  • №81
  • 1,36 МБ
  • добавлен
  • изменен
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...
  • №82
  • 10,63 МБ
  • добавлен
  • изменен
Издательство World Scientific, 2006, -420 pp. This volume of contributed papers commemorates the 75th birthday of Prof. Rani Siromoney, one of the foremost theoretical computer scientists in India and a leading authority on Formal Languages and Automata Theory. Over a period spanning four decades, she has made tremendous technical contributions to the field through her...
  • №83
  • 16,46 МБ
  • добавлен
  • изменен
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...
  • №84
  • 3,31 МБ
  • добавлен
  • изменен
Издательство Springer, 1989, -167 pp. 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...
  • №85
  • 1,31 МБ
  • добавлен
  • изменен
Издательство 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...
  • №86
  • 5,81 МБ
  • добавлен
  • изменен
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...
  • №87
  • 4,83 МБ
  • добавлен
  • изменен
Издательство 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...
  • №88
  • 4,45 МБ
  • добавлен
  • изменен
Издательство 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...
  • №89
  • 1,73 МБ
  • добавлен
  • изменен
New York: Auerbach Publications, Taylor & Francis Group, 2006. — 369 p. — ISBN-10 0-8493-8086-3; ISBN-13 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...
  • №90
  • 11,85 МБ
  • добавлен
  • изменен
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...
  • №91
  • 1,88 МБ
  • добавлен
  • изменен
Издательство New Age International, 2005, -360 pp. This book deals with a fascinating and important subject which has the fundamentals of computer hardware, software and some of their applications. This book is intended as an introductory graduate text in computer science theory. I have taken care to present the material very clearly and interestingly. As an introductory...
  • №92
  • 1,89 МБ
  • добавлен
  • изменен
Монография. — Гродно: ГрГУ, 2008. — 486 с. — ISBN 978-985-515-020-7; ISBN 978-9985-9508-4-5. В монографии рассматриваются основы теории классических однородных структур (ОС), представляющей собой базовую компоненту общей теории однородных структур (Cellular Automata): новую и весьма перспективную среду моделирования многих дискретных параллельных процессов, явлений и феноменов в...
  • №93
  • 5,26 МБ
  • добавлен
  • изменен
Монография. - Издательство Fultus Books, 2009. - 535с. ISBN 1-59682-137-X Рассмотрены вопросы современной теории однородных структур (клеточных автоматов) и их приложений в качестве самостоятельного раздела современной математической кибернетики. Настоящая монография ориентирована на самый широкий круг читателей, интересующихся важными направлениями современной вычислительной...
  • №94
  • 16,03 МБ
  • добавлен
  • изменен
Монография. Издательство Fultus Books, 2009, -535с. ISBN 1-59682-137-X Содержание Список принятых сокращений List of the adopted abbreviations Предисловие Введение Базовая концепция однородных структур Основные понятия, определения и обозначения Основные типы однородных структур Архитектура теории однородных структур и ее приложений Аппарат исследований в теории...
  • №95
  • 4,99 МБ
  • добавлен
  • изменен
Монография. — Гродно : ГрГУ, 2008. — 486 с. — ISBN 978-985-515-020-7; ISBN 978-9985-9508-4-5. В монографии рассматриваются основы теории классических однородных структур (ОС), представляющей собой базовую компоненту общей теории однородных структур (Cellular Automata): новую и весьма перспективную среду моделирования многих дискретных параллельных процессов, явлений и феноменов в...
  • №96
  • 4,23 МБ
  • добавлен
  • изменен
В пособии исследуется логический этап проектирования цифровых синхронных схем. При этом предполагается, что читатель знаком с основами логического проектирования комбинационных схем.
  • №97
  • 2,53 МБ
  • дата добавления неизвестна
  • изменен
Издательство: Статистика, 1975, 335 c. Монография посвящена рассмотрению математического аппарата количественного и качественного анализа АСУ. Конечные автоматы благодаря их простой реализуемости на ЭВМ имеют значительные преимущества по сравнению с другими моделями. Авторы знакомят читателей с основными достижениями в этой области. Книга рассчитана на разработчиков АСУ и...
  • №98
  • 3,60 МБ
  • дата добавления неизвестна
  • изменен
Учебно-методическое пособие. — Саратов: Изд–во ГосУНЦ «Колледж», 2003. — 24с. В лабораторной работе описывается краткая теория клеточных автоматов, дается описание лабораторных работ, формулируются контрольные вопросы и задания для выполнения работ. Предназначено для студентов факультета компьютерных наук и информационных технологий, факультета гуманитарных и социальных наук,...
  • №99
  • 377,28 КБ
  • добавлен
  • изменен
Учебно-методическое пособие. - Нижний Новгород: Нижегородский госуниверситет, 2011. - 32 с. В методических указаниях рассматриваются практические задачи, необходимые для самостоятельной подготовки студентов по курсу "Теория автоматов и формальные грамматики". Приводятся основные понятия и результаты. Даются примеры практических заданий с решениями. Материалы могут быть...
  • №100
  • 720,02 КБ
  • добавлен
  • изменен
2-е изд., перераб. и доп. — Л.: Энергия, Ленинградское отделение, 1979. — 232 с. В книге в доступной для инженера-разработчика форме изложены основы теории конечных автоматов и операторных, схем алгоритмов, связанные воедино с теорией и практикой проектирования микропрограммных управляющих устройств. Основное внимание уделено методам, удобным в инженерной практике н обеспечивающим...
  • №101
  • 2,18 МБ
  • дата добавления неизвестна
  • изменен
Методические рекомендации и контрольные задания для студентов вузов. Цель и задачи дисциплины. Требования к уровню освоения содержания дисциплины. Объем дисциплины и виды учебной работы. Содержание дисциплины: Классификация и характеристики автоматов. Формальные языки и грамматики. Основные понятия и законы алгебры логики. Синтез комбинационной схемы автомата. Синтез автоматов с...
  • №102
  • 137,86 КБ
  • дата добавления неизвестна
  • изменен
Минск : Беларуская навука, 2014. — 231 с. : ил. — ISBN 978-985-08-1750-1. В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных исследований...
  • №103
  • 9,63 МБ
  • добавлен
  • изменен
Навч. посібник. — Суми: Сумський державний університет, 2016. — 354 с. Викладено основні поняття й теоретичні положення дискретного аналізу, методи побудови математичних моделей цифрових та керуючих скінченних автоматів, функціонально орієнтованих на застосування в задачах розроблення технічних засобів автоматики та управління в комп’ютеризованих інформаційно-керуючих системах....
  • №104
  • 4,23 МБ
  • добавлен
  • изменен
Липецк, 2005, 124 с. Представлены подходы к построению дискретных моделей, базирующихся на клеточной интерпретации. Рассмотрены дискретные пространственные, дискретные пространственно-временные, конечно-аргументные модели. Дискретно-аргументный подход можно использовать для описания сложных технологических процессов, характеризующихся многостадийностью обработки. Технологический...
  • №105
  • 831,17 КБ
  • дата добавления неизвестна
  • изменен
М.: Радио и связь, 1987. 392 с. В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют...
  • №106
  • 11,68 МБ
  • дата добавления неизвестна
  • изменен
М.: Радио и связь, 1987. — 392 с. В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют упражнения.
  • №107
  • 19,36 МБ
  • добавлен
  • изменен
Одеса 2001(украинский язык) Конспект лекцій складений для студентів спеціальності «Спеціалізовані комп'ютерні системи». Конспект призначений для спрощення роботи студентів (і викладача) під час лекцій і містить набір ключових понять, схем, таблиць і описів, необхідних для більш повного розуміння матеріалу лекцій.
  • №108
  • 2,73 МБ
  • дата добавления неизвестна
  • изменен
М.: Институт Системного Программирования РАН. – 60 с. Рассматриваются конечные автоматы, отличающиеся от классического автомата Мили тем, что переход осуществляется либо по приему стимула (входного символа), либо по выдаче реакции (выходного символа), причем в каждом состоянии выбор одного из допустимых переходов недетерминирован. Такими автоматами являются автоматы с...
  • №109
  • 1,53 МБ
  • добавлен
  • изменен
М.: Институт Системного Программирования РАН. – 21 с. Рассматривается применение теории конечных автоматов к проблеме тестиро-вания программ. Проблема сводится к тестированию конечного автомата. Описывается тестирование автоматов по графам состояний, фактор-графы, тестирование автоматов по фактор-графам и способы построения фактор-графов. Данная работа поддержана грантами РФФИ...
  • №110
  • 466,48 КБ
  • добавлен
  • изменен
Авторы: А.Г. Астановский, В.И. Варшавский, В.Б. Мараховский, В.А. Песчанский, Л.Я. Розенблюм, Н.А. Стародубцев, Р.Л. Финкельштейн, Б.С. Цирлин. — М.: Наука, 1976. — 424 с. — (Теоретические основы технической кибернетики). В книге предлагается новый подход к построению дискретных вычислительных и управляющих устройств, базирующийся на использовании так называемых апериодических...
  • №111
  • 7,96 МБ
  • добавлен
  • изменен
Монография, Москва, "Наука", 1973, 408 Поведение автоматов в случайных средах Игры автоматов Случайное парное взаимодействие в коллективах автоматов Модели коллективного поведения Поведение систем взаимодействующих автоматов
  • №112
  • 2,80 МБ
  • добавлен
  • изменен
Учебное пособие Пенза: Изд-во Пенз. гос. ун-та, 2001. – 43 с.: 16 ил., 8 табл., библиогр. 4 назв. Рассматриваются задачи проектирования алгоритмов функционирования цифровых устройств и их отладки путем моделирования. Приводятся примеры решения таких задач. Предлагается методика проектирования параллельных алгоритмов. Описывается инструментальная система, позволяющая...
  • №113
  • 370,04 КБ
  • добавлен
  • изменен
Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. — Санкт-Петербург: Наука, 2011. — 244 с. — ISBN 978-5-02-038160-5. В книге рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных...
  • №114
  • 3,09 МБ
  • добавлен
  • изменен
Учеб. пособие для вузов. - Тирасполь, 2001. 120 с. В учебном пособии излагаются основы современной теории автоматов, представляющих собой одну из основных моделей управляющих систем. Рассматриваются вопросы, связанные с формальными языками и грамматиками, общей теорией алгоритмов, магазинными и конечными автоматами. Представлен прикладной аспект проектирования дискретных...
  • №115
  • 1,25 МБ
  • дата добавления неизвестна
  • изменен
М.: Наука, 1966. — 272 с. — (Теоретические основы технической кибернетики). Предлагаемая книга Артура Гилла — доктора наук по электротехнике, преподавателя Калифорнийского университета — содержит систематическое изложение основных вопросов теории конечных автоматов. Особое внимание в книге уделено методам анализа. Вопросы синтеза конечных автоматов здесь не рассматриваются....
  • №116
  • 20,99 МБ
  • дата добавления неизвестна
  • изменен
М.: Наука, 1966. — 272 с. Предлагаемая книга Артура Гилла — доктора наук по электротехнике, преподавателя Калифорнийского университета — содержит систематическое изложение основных вопросов теории конечных автоматов. Каждая глава книги содержит примеры и заканчивается задачами, что облегчает глубокую проработку и усвоение ее содержания. Книга является хорошим учебным...
  • №117
  • 1,92 МБ
  • добавлен
  • изменен
М.: Наука, 1966. — 272 с. Предлагаемая книга содержит систематическое изложение основных вопросов теории конечных автоматов. Каждая глава книги содержит примеры и заканчивается задачами, что облегчает глубокую проработку и усвоение ее содержания. Книга является хорошим учебным пособием для студентов, инженеров и научных работников, занимающихся изучением теории конечных...
  • №118
  • 8,48 МБ
  • добавлен
  • изменен
Перевод с английского. — Москва: Мир, 1970. — 326 с. В книге достаточно полно изложены основные понятия и результаты теории контекстно-свободных грамматик и языков, прослеживаются ее связи с теорией автоматов, языками программирования, лингвистикой и машинным переводом. Имеется большое число упражнений самой различной трудности, которые в совокупности существенно дополняют...
  • №119
  • 3,64 МБ
  • добавлен
  • изменен
М.: Государственное издательство физико-математической литературы, 1962. — 476 с. — (Математическая логика и основания математики). Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной...
  • №120
  • 5,11 МБ
  • дата добавления неизвестна
  • изменен
М.: Физматгиз, 1962. — 476 с. — (Математическая логика и основания математики). Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе...
  • №121
  • 7,73 МБ
  • добавлен
  • изменен
М. : АСТ, 2008. — 560 с. — ISBN 978-5-17-049562-7 В учебнике излагается теория автоматов, являющаяся одной из основ­ных дисциплин, читаемых для студентов по направлению "Информатика и вычислительная техника". Особое внимание уделяется созданию эффек­тивного математического обеспечения проектирования автоматов на всех этапах их разработки: алгоритмическом, абстрактном, этапе...
  • №122
  • 7,95 МБ
  • добавлен
  • изменен
ВВЕДЕНИЕ. ЛОГИЧЕСКИЕ ОСНОВЫ ЦИФРОВЫХ АВТОМАТОВ. Основные понятия алгебры логики. Базис И, ИЛИ, НЕ. Свойства элементарных функций алгебры логики. Способы описания булевых функций. Табличное описание булевых функций. Аналитическое описание булевых функций. Числовая форма представления булевых функций. Графическая форма представления булевых функций. Геометрическое...
  • №123
  • 292,85 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. Теория + Примеры — М.: МГТУ имени Н.Э. Баумана, 2013. – 63 с.: ил. Ключевые положения теории автоматов как отдельной научной и учебной дисциплины. Рассмотрены базовые модели теории, их построение и эквивалентность, основные классы автоматов. Излагаются вопросы, относящиеся к минимальным автоматам. Большое место отведено практике структурного синтеза автомата –...
  • №124
  • 2,45 МБ
  • добавлен
  • изменен
Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. Вып. 53. Автоматное программирование. 2008, с. 162–176. УДК 004.4’242 В.С. Гуров, Б.Р. Яминов Верификация автоматных программ при помощи верификатора unimod.verifier
  • №125
  • 253,74 КБ
  • добавлен
  • изменен
Содержание Переработка информации с помощью конечных автоматов Конечные автоматы распознаватели Детерминированные конечные автоматы (ДКА) и автоматные языки Произведение автоматов Недетерминированные конечные автоматы и их детерминизация Регулярные выражения и языки Регулярные языки и конечные автоматы Автоматы для регулярных языков Свойства замкнутости класса автоматных...
  • №126
  • 475,64 КБ
  • дата добавления неизвестна
  • изменен
СПб.: Университет ИТМО, 2019. — 142 с. Учебное пособие охватывает различные аспекты верификации вычислительных процессов, реализованных аппаратно, на уровне логических схем (часть 1) и программно (часть 2). В данной части приведено обоснование важности верификации проектов, даны определения формальной и функциональной верификаций вычислительных процессов, их валидации....
  • №127
  • 4,04 МБ
  • добавлен
  • изменен
Учебное пособие. — Томск: ТГУ, 2009. — 111 с. Настоящее пособие является второй частью монографии и посвящено решению уравнений и неравенств в алгебре конечных автоматов Авторы обсуждают различные области применения автоматных уравнений, методы и алгоритмы решения таких уравнений. Пособие предназначено для студентов кафедры информационных технологий при исследовании дискретных...
  • №128
  • 3,47 МБ
  • добавлен
  • изменен
Навчальний посібник. - К.: ВЕК +, 2008. - 176 с. - ISBN 966-7140-11-3. Навчальний посібник присвячений питанням реалізації арифметичних операцій в цифрових. ЕОМ. Розглянуті питання побудови арифметичних пристроїв різних типів та засобів управління виконанням операцій. Запропоновані завдання та надані рекомендації по організації практичних і лабораторних занять, подані приклади...
  • №129
  • 9,08 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. - К.: ВЕК +, 2008. - 176 с. - ISBN 966-7140-11-3. Учебное пособие посвящено вопросам реализации арифметических операций в цифровых. ЭВМ. Рассмотрены вопросы построения арифметических устройств различных типов и средств управления выполнением операций. Предложенные задания и даны рекомендации по организации практических и лабораторных занятий, представлены...
  • №130
  • 2,33 МБ
  • добавлен
  • изменен
К.: Книжкове вид-во НАУ, 2007. - 364 с. Розглянуто прикладні питання теорії цифрових автоматів, методи аналізу і синтезу логічних схем в сучасному елементному базисі, способи подання інформації та реалізації арифметичних операцій в ЕОМ. Запропоновано завдання та надано рекомендації з організації курсового проектування, лабораторних занять та контролю знань в умовах...
  • №131
  • 5,51 МБ
  • добавлен
  • изменен
Практикум. - К.: ВЕК +, 2004. - 160 с., ил. - ISBN 966-7140-11-3. Розглядаються прикладні питання теорії цифрових автоматів, методи синтезу логічних схем в заданому елементному базисі, способи побудови типових вузлів та пристроїв ЕОМ. Навчальний посібник призначено для проведення лабораторних занять і організації курсового проектування зі студентами спеціальності "Комп'ютерна...
  • №132
  • 3,76 МБ
  • добавлен
  • изменен
Н. Новгород: Нижегородский госуниверситет, 2017. — 64 с. В учебно-методическом пособии рассматриваются основные понятия и алгоритмы теории автоматов и формальных языков. Особое внимание уделяется разделам, относящимся к теории конечных автоматов и регулярных языков. Изучение каждой темы сопровождается необходимым теоретическим материалом и примерами решения типовых задач....
  • №133
  • 2,31 МБ
  • добавлен
  • изменен
Н. Новгород: Нижегородский госуниверситет, 2017. — 60 с. В учебно-методическом пособии рассматриваются основные теоретические понятия и алгоритмы, относящиеся к контекстно-свободным языкам, автоматам с магазинной памятью и синтаксическому анализу. Изучение каждой темы сопровождается необходимым теоретическим материалом и примерами решения типовых задач. Предлагаются также задачи...
  • №134
  • 1,69 МБ
  • добавлен
  • изменен
М.: Наука, 1971. — 512 с. Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС. Излагается методика программирования в языке ЛЯПАС, а...
  • №135
  • 18,55 МБ
  • добавлен
  • изменен
Екатеринбург: Изд-во Урал. ун-та , 2007. – 248 с. В пособии систематически изложены ряд важных разделов теории формальных языков и приложения этой теории к построению компиляторов. Пособие рассчитано на математически ориентированных читателей. Для студентов математических направлений и специальностей, изучающих дисциплины «Лингвистические основы информатики», «Теория...
  • №136
  • 1,26 МБ
  • добавлен
  • изменен
УлГТУ, 2 курс. Содержание. Абстрактные автоматы. Структурный автомат. Кодирование состояний автомата. Функционирование цифровых автоматов.
  • №137
  • 3,45 МБ
  • дата добавления неизвестна
  • изменен
Иванов Н.Н., Михайлов Г.И., Руднев В.В., Таль А.А. под ред. С.В. Петрова. - М.: Издательство Наука, 1984, - 194 с. В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые...
  • №138
  • 4,17 МБ
  • добавлен
  • изменен
Учебное пос. МАДИ(ГТУ). -М. , 2007. – 133 с. Обобщенные материалы по принципам функционирования, построения и методике синтеза схем логических автоматов, относящихся к простейшим схемам – комбинационного типа. Описание и характеристики основных серий интегральных цифровых микросхем (ИЦМ). Схемотехника их базовых элементов, типов и особенностей эксплуатации. Сведения по...
  • №139
  • 2,11 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. В 2 ч. Ч. 2. Счетчики / А.В. Илюхин, А.М. Колбасин; МАДИ. - М.: МАДИ, 2013. – 52 с. В учебном пособии излагаются сведения по построению и применению микросхем последовательностного типа для синтеза схем логических автоматов, применяемых при автоматизации технологических процессов и производств. Пособие предназначено для студентов, обучающихся по...
  • №140
  • 1,91 МБ
  • добавлен
  • изменен
СПб.: Питер, 2003. — 208 с.: ил. — ISBN 5-318-00537-3. Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации. В этом учебнике практическое использование...
  • №141
  • 1,93 МБ
  • дата добавления неизвестна
  • изменен
СПб.: Питер, 2003. - 208 с.: ил. - ISBN 5-318-00537-3. Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации. В этом учебнике практическое...
  • №142
  • 8,96 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — Зерноград: АЧГАА, 2009. — 172 с. Содержит основные сведения по принципам работы и построения систем автоматического регулирования (САР) с микроЭВМ, методам их анализа и синтеза с использованием современных компьютерных технологий, реализованных с помощью высокоэффективного отечественного программного комплекса "Моделирование в технических устройствах" (ПК...
  • №143
  • 4,53 МБ
  • добавлен
  • изменен
М.: Альпина Диджитал. — ISBN 978-5-9614-6549-5. Вычислительное мышление – это мощный инструмент для решения задач и понимания мира. Оно лежит в основе программирования, благодаря ему ученые решают задачи в области информатики, но его же можно использовать и для решения повседневных проблем. Оно настолько важно, что во многих странах его стали преподавать в школе. Но в чем же его...
  • №144
  • 865,96 КБ
  • добавлен
  • изменен
М.: ГИФМЛ, 1962. - 405 с. В последние годы повсеместно и с большой интенсивностью ведутся работы по созданию и применению различных автоматических систем дискретного действия для переработки информации. Они лежат в основе быстродействующих цифровых вычислительных машин, автоматических устройств для управления объектами и систем, моделирующих деятельность живого организма (так...
  • №145
  • 3,77 МБ
  • добавлен
  • изменен
М.: Энергоиздат, 1981. 1981. - 168 с., ил. В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся...
  • №146
  • 3,27 МБ
  • дата добавления неизвестна
  • изменен
М.: Энергоиздат, 1981. — 168 с., ил. В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся...
  • №147
  • 6,54 МБ
  • добавлен
  • изменен
Учебное пособие. -М.: МИФИ, 2008 . 116 с. Распознано Рассматриваются вопросы представления детерминированных функций k-значных логик, способы задания, анализа и синтеза автоматов. Рассмотрены также базовые понятия теории кодирования, включая вопросы распознавания кодов автоматами. Пособие предназначено для студентов, обучаемых по специальности «Прикладная математика и...
  • №148
  • 1,46 МБ
  • добавлен
  • изменен
М.: НИЯУ МИФИ, 2012. — 92 с. В пособие включены задачи по лингвистике, теории автоматов и кодированию. Задачи разделены по темам, каждый раздел содержит крат- кое изложение базовой теории. Для ряда задач даны ответы или указания. Данное пособие предназначено для студентов факультета кибернетики и информационной безопасности, изучающих математическую лингвистику и теорию...
  • №149
  • 1,56 МБ
  • добавлен
  • изменен
Видавництво Дніпропетровського університету, 2009. - 264 с. Викладені логічні аспекти проектування цифрових автоматів. Подані основні положення алгебри логіки, розглянуті проблеми проектування комбінаційних та послідовнісних цифрових автоматів на основі типових логічних схем. Акцентується увага на алгоритмах мінімізації логічної структури, вирішенні проблеми перегонів у...
  • №150
  • 6,32 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие Основы прикладной теории цифровых автоматов. Информационные основы цифровых автоматов. Информация и общие принципы ее преобразования. Обмен информацией между различными информационными устройствами. Аппаратные средства хранения и обработки информации. Общие понятия о цифровом автомате и алгоритме Представление числовой информации в цифровом автомате Системы...
  • №151
  • 228,93 КБ
  • дата добавления неизвестна
  • изменен
Изд-во Пенз. гос. ун-та, 2002. - 124 с. Представлен материал для изучения разделов, посвященных формальным языкам, грамматикам и разработке трансляторов. Подробно рассмотрены основные вопросы - теория грамматик и автоматов, лексический анализ, нисходящий и восходящий синтаксический анализ, построение программы синтаксического анализа для заданного синтаксиса, применение...
  • №152
  • 807,78 КБ
  • дата добавления неизвестна
  • изменен
Конспект лекции по теории структурных автоматов. МГУ. - 10 стр. Конечный алфавит, слово, длина слова. Детерминированная функция. Остаточная, ограниченно-детерминированная функция. Операции суперпозиции. Операция переименования переменного. Операция отождествления переменных. Операция проектирования, Операция дублирования, Операция объединения. Операция подстановки....
  • №153
  • 325,80 КБ
  • дата добавления неизвестна
  • изменен
М.: Наука. Гл. ред. физ.-мат. лит., 1985. - 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
  • №154
  • 2,80 МБ
  • дата добавления неизвестна
  • изменен
М.: Наука. Гл. ред. физ.-мат. лит., 1985. — 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
  • №155
  • 13,56 МБ
  • добавлен
  • изменен
М.: Наука. Гл. ред. физ.-мат. лит., 1985. — 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
  • №156
  • 9,41 МБ
  • добавлен
  • изменен
М.: Наука, 1992. — 298 с. Излагаются основные результаты по теории однородных структур, полученные советскими и зарубежными авторами за последние 30 лет. В первой части изучаются автономные однородные структуры. Объектом исследования являются процессы, происходящие внутри этих структур, т.е. поведение их. Во второй части изучаются однородные структуры со входами и выходами, для...
  • №157
  • 6,46 МБ
  • добавлен
  • изменен
М.: Изд-во Моск. ун-та, 1985. — 174 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами, прототипами которых являются различные реальные устройства. Предлагаемая книга содержит достаточно обширный материал по теории абстрактных автоматов и посвящена рассмотрению...
  • №158
  • 6,01 МБ
  • добавлен
  • изменен
Изд-во Моск. ун-та, 1985. — 174 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами, прототипами которых являются различные реальные устройства. Предлагаемая книга содержит достаточно обширный материал по теории абстрактных автоматов и посвящена рассмотрению...
  • №159
  • 3,67 МБ
  • добавлен
  • изменен
М.: Энергоатомиздат, 1989. — 328 с. Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации на основе различных моделей...
  • №160
  • 47,24 МБ
  • добавлен
  • изменен
3-е изд., перераб. и доп. – М.: Энергоатомиздат, 1989. – 328 с. Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации...
  • №161
  • 3,05 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — СПб.: Университет ИТМО, 2019. — 99 с. В пособии рассмотрены порождающие грамматики, их классификация, алгоритмы упрощения и их взаимного преобразования; определены конечные автоматы и МП-автоматы, рассмотрены вопросы построения распознавателей для регулярных и контекстно-свободных формальных языков; теоретический материал дополнен описанием алгоритмов на...
  • №162
  • 1,46 МБ
  • добавлен
  • изменен
Учебное пособие. — СПб.: СПбГУАП, 2000. — 119 с.: ил. — ISBN 5-8088-0044-7. В пособии приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов...
  • №163
  • 839,50 КБ
  • добавлен
  • изменен
Учебное пособие. — СПб.: СПбГУАП, 2000. — 119 с.: ил. — ISBN 5-8088-0044-7. В пособии приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов...
  • №164
  • 2,52 МБ
  • добавлен
  • изменен
Учеб. пособие/СПбГУАП. СПб., 2009. - 119 с.: ил. - ISBN 5-8088-0044-7. В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на...
  • №165
  • 471,28 КБ
  • дата добавления неизвестна
  • изменен
Учеб. пособие/СПбГУАП. СПб., 2009. - 119 с.: ил. - ISBN 5-8088-0044-7. В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на...
  • №166
  • 707,11 КБ
  • дата добавления неизвестна
  • изменен
Выходные данные не указаны. — 123 с. Вспомогательные понятия Случайные функции Понятие случайной функции Матрицы, соответствующие конечным случайным функциям Вероятностные распределения Строки и функции на строках Строки и связанные с ними понятия Функции на строках Автоматы Мура Понятие автомата Мура Достижимые состояния и реакция автомата Достижимая часть...
  • №167
  • 868,90 КБ
  • добавлен
  • изменен
Учебное пособие по курсовому проектированию. - Йошкар-Ола: Поволжский государственный технологический университет, 2015. – 128 с Приведены необходимые теоретические сведения, методика выполнения, варианты заданий и пример оформления курсовой работы. Для студентов направления подготовки 230100.62 «Информатика и вычислительная техника».
  • №168
  • 2,89 МБ
  • добавлен
  • изменен
Учебное пособие. — Иркутск: ИрГУПС, 2018. — 72 с. В учебном пособии рассматриваются вопросы анализа и синтеза управляющих автоматов сложных технических систем реального времени. Новая теория синтеза автоматов основана на предварительном преобразовании операторной схемы алгоритма управления за счет ввода пустых операторов в отдельные ветви граф-схем. Преобразование алгоритмов или...
  • №169
  • 1,43 МБ
  • добавлен
  • изменен
Учебное пособие. – СПб: НИУ ИТМО, 2013. – 84 с. Целью данного учебного пособия является ознакомление студентов с методами синтеза цифровых автоматов. Приводятся сведения об абстрактных автоматах Мили и Мура. Рассматриваются табличный и графовый способы представления автоматов, вводится понятие реакции автомата на входное слово и определение эквивалентных автоматов....
  • №170
  • 3,16 МБ
  • добавлен
  • изменен
Учебное пособие. — Махачкала. 2006. В пособии излагаются основные понятия теории вычислительных процессов и структур. Даны понятия формальных грамматик и основы теории конечных цифровых автоматов, приведены математические модели для описания взаимодействующих процессов на основе сетей Петри и нотаций Хоара, рассматриваются методы и средства синхронизации и связи...
  • №171
  • 2,30 МБ
  • добавлен
  • изменен
М.: Интернет-университет информационных технологий; БИНОМ. Лаборатория знаний, 2006. – 247 с.: ил. – (Серия "Основы информатики и математики"). Учебник посвящён классическому разделу математичской лингвистики и теоретической информатики – теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной паматью....
  • №172
  • 2,22 МБ
  • добавлен
  • изменен
М.: Издательство ЦПИ при механико-математическом факультете МГУ, 2004. - 80 с. Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики - теории формальных языков. Рассматриваются порождающие грамматики, классификация формальных языков по Хомскому, регулярные выражения, конечные автоматы, автоматы с магазинной памятью, алгоритмические...
  • №173
  • 539,73 КБ
  • дата добавления неизвестна
  • изменен
СПб.: СПбГПУ, 2008. — 227 с. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и...
  • №174
  • 1,68 МБ
  • дата добавления неизвестна
  • изменен
2-е издание. — СПб.: Питер, 2010. — 176 с. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его...
  • №175
  • 4,54 МБ
  • добавлен
  • изменен
Учеб. пособие для вузов по спец. Вычислительные машины, комплексы, системы и сети. - Красноярск, 2000. - 296 с.: ил. Излагаются способы представления информации в цифровых автоматах, методы выполнения основных арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Рассматриваются...
  • №176
  • 962,98 КБ
  • дата добавления неизвестна
  • изменен
Учеб. пособие для вузов по направлению подгот. "Информатика и вычисл. техника". - Федерал. агентство по образованию, Краснояр. гос. техн. ун-т. - Красноярск: КГТУ, 2006. - 376 с. - ISBN 5-7636-0865-8. Информация и вычислительные машины. Системы счисления. Основы алгебры логики. Минимизация ФАЛ. Основные электронные узлы комбинационного типа. Основы теории автоматов....
  • №177
  • 5,79 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — Красноярск: Сибирский федеральный университет, 2017. — 206 с. — ISBN 978-5-7638-3661-5 Приведены сведения об абстрактных автоматах Мили и Мура, способах их представления, понятие реакции автомата на входное слово и определение эквивалентных автоматов. Описаны методы взаимного эквивалентного преобразования автоматов. Даны примеры синтеза структурных автоматов на...
  • №178
  • 2,89 МБ
  • добавлен
  • изменен
Системы счисления. Перевод из одной системы счисления в другую. Выполнение сложения в разных системах счисления. Представление двоичных чисел в прямом, обратном и дополнительном кодах. Модифицированные коды. Способы представления автоматов. Эксперименты с автоматами. Синтез автоматов по дереву управления. Структурный синтез автомата. Алгоритмическая система Тьюринга.
  • №179
  • 858,32 КБ
  • дата добавления неизвестна
  • изменен
М.Наука, 1984 Основная часть работ сборника посвящена наиболее важным аспектам проектирования устройств логического управления: языкам описания алгоритма управления, синтезу устройств из элементов нового типа, вопросам автоматизации проектирования их, надежности устройств на основе использования избыточного кодирования. Для специалистов в области разработки и эксплуатации...
  • №180
  • 9,85 МБ
  • добавлен
  • изменен
Учебный вводный курс. Пер. с англ. — M.: Радио и связь, 1988. — 128 c.: ил. — ISBN 5-256-00159-0. В книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах. Удачно...
  • №181
  • 1,75 МБ
  • добавлен
  • изменен
М.: Радио и связь, 1988. - 128 с. В книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах. Удачно подобранные упражнения в конце каждой главы не только поясняют, но...
  • №182
  • 2,12 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. ВлГУ- 2009 Канонический метод структурного синтеза Триггеры Регистры Сумматоры Синтез схемы автомата Мура по заданному графу Счетчики Кодирование состояний автомата. Пример синтеза автомата Мили Задачи и упражнения Литература
  • №183
  • 623,36 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. - М.: МГТУ ГА, 2008. – 116 с., табл., ил., лит.: 6 наим. Данное учебное пособие издается в соответствии с рабочей программой учебной дисциплины СД01 «Теория автоматов» по Учебному плану специальности 230101 для студентов II курса дневного обучения, утвержденному в 2001 году. Учебное пособие являются продолжением ранее изданного пособия «Теория автоматов», часть...
  • №184
  • 415,82 КБ
  • добавлен
  • изменен
Учебное пособие. - М.: МГТУ ГА, 2007. - 96 с. Учебное пособие предназначено для изучения первой части дисциплины «Теория автоматов» студентами 2-го курса специальности 230101. В пособии рассмотрены элементы теории алгоритмов, основы алгебры логики, а также методы анализа и синтеза комбинационных схем. Подробно рассмотрены методы минимизации логических функций. Особое...
  • №185
  • 1,09 МБ
  • добавлен
  • изменен
М.: Изд-во МГТУ им. Н. Э. Баумана. Излагаются основные понятия информатики, методы измерения и представления информации, способы представления числовой информации в информационных системах, методы и алгоритмы выполнения арифметических и логических операций в различных системах счисления. Уделяется внимание методам контроля правильности функционирования цифровых автоматов как...
  • №186
  • 4,46 МБ
  • дата добавления неизвестна
  • изменен
Учеб. для вузов по спец. ЭВМ. - М.: Высш. шк., 1987. 272 с. - ил. В книге излагаются способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности...
  • №187
  • 1,40 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие, 1988 г., 73 стр. Саратовский государственный университет. ISBN 5-292-00263-1 В пособии излагаются основные понятия и результаты теории конечных автоматов без выхода, связанные с универсально-алгебраическими конструкциями. Представление об автомате без выхода как о конечной унарной алгебре позволяет применить в теории автоматов хорошо разработанные...
  • №188
  • 38,07 МБ
  • добавлен
  • изменен
М.: Мир, 1986. 162 с. Книга содержит ряд замечательных результатов теории формальных языков. Она отличается методическими достоинствами, большим числом задач и примеров, постановкой новых проблем. Автор книги — профессор Университета г. Турку (Финляндия), президент Европейской ассоциации вычислительных наук — успешно решил поставленные им две основные задачи: дать замкнутое...
  • №189
  • 2,34 МБ
  • добавлен
  • изменен
К.Г. Самофалов, А.М. Риманкевич, В.Н. Валуйский, Ю.С. Каневский, М.М. Пиневич. - К.: Вища шк. Головное изд-во, 1987. - 375 с. В учебнике рассмотрены вопросы проектирования к теории цифровых автоматов с учетом их реализации на современной элементной базе: арифметические основы, элементы теории, структурные методы синтеза на интегральных микросхемах, элементы теории...
  • №190
  • 11,46 МБ
  • дата добавления неизвестна
  • изменен
Ленинград: Энергоатомиздат, 1984. — 113 с. Книга посвящена вопросам синтеза дискретных автоматов, обладающих свойством обнаружения отказов в процессе функционирования. Излагаемые методы синтеза основаны на применении для кодирования состояний автоматов кодов с постоянным весом. Описываются способы реализации самоконтролирующихся контрольных схем. Синтезированы типовые узлы...
  • №191
  • 3,34 МБ
  • добавлен
  • изменен
Ленинград: Энергия, 1980. — 97 с. В книге рассматриваются методы синтеза конечных асинхронных автоматов, устойчивых к состязаниям и отказам внутренних элементов. Эти методы становятся все актуальнее в связи с увеличением сложности дискретных систем управления. Описываются способы упрощения логического преобразователя за счет оптимального кодирования состояний. Достоинством книги...
  • №192
  • 2,52 МБ
  • добавлен
  • изменен
Конспект лекций. – М., МИФИ, 2004. - 88С. Учебное пособие предназначено для студентов факультета Кибернетики, изучающих на пятом семестре математическую лингви-стику и основы теории автоматов. Пособие представляет собой конспект лекций по этому курсу. В дальнейшем планируется расширить представленный материал и дополнить его методическими указаниями, примерами и задачами. Пособие...
  • №193
  • 330,51 КБ
  • добавлен
  • изменен
Екатеринбург : УрФУ, 2013. — 160 с. — ISBN 978-5-321-02344-0. В учебном пособии раскрываются информационные основы цифровых автоматов. Рассматриваются общие принципы разработки алгоритмов аппаратной реализации арифметических действий в цифровых автоматах. Приводятся алгоритмы синтеза и эквивалентных преобразований автоматов. Даются задания для выполнения расчетно-графической...
  • №194
  • 56,80 МБ
  • добавлен
  • изменен
Киев, Национальный технический университет Украины (КПИ) им. Игоря Сикорского, 2019. Учебник по теории формальных языков и автоматов содержит основные теоретические сведения по традиционным для данной дисциплины разделам: формальные языки и грамматики, машина Тьюринга, конечные автоматы и автоматы с магазинной памятью, линейно-ограниченные машины Тьюринга. Практически все теоремы...
  • №195
  • 1,02 МБ
  • добавлен
  • изменен
М.: Интуит, 2016. — 355 с. Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном курсе лекций излагаются результаты теории экспериментов с автоматами, востребованные...
  • №196
  • 69,41 МБ
  • добавлен
  • изменен
Учебное пособие по дисциплине «Теория автоматов». – Барнаул: Изд-во АлтГТУ, 2009. – 162 c., ил. В пособии изложен теоретический материал по разделам курса «Теория автоматов», приведены задания для выполнения лабораторных работ по рассмотренным в пособии темам, дано описание обучающего программного комплекса по курсу. Учебное пособие предназначено для студентов, обучающихся на...
  • №197
  • 3,17 МБ
  • дата добавления неизвестна
  • изменен
СПб.: КиТ, 2006. - 32 с. Описывают применение SWITCH-технологии для организации работы с микроконтроллерами, а также даются примеры на СИ. Описываются конечные автоматы Мура и Мили, а также смешанный автомат.
  • №198
  • 1,25 МБ
  • добавлен
  • изменен
М., "Наука", 1970 г. , 400 стр. Книга посвящена поведенческой (абстрактной) теории автоматов: Поведение автоматов без выходов и с выходом. Метаязыки. Расшифровка автоматов. Статистические оценки параметров и спектров автоматов.
  • №199
  • 3,58 МБ
  • дата добавления неизвестна
  • изменен
Практические задачи теории автоматов: Методические рекомендации по выполнению лабораторных работ № 1-9 по дисциплине «Теория автоматов» для студентов специальности 230101 очной формы обучения Методическое пособие содержит краткие теоретические сведения и задания для получения первичных навыков по практическому решению задач логического проектирования достаточно простых узлов...
  • №200
  • 186,72 КБ
  • дата добавления неизвестна
  • изменен
Пер. с англ. - М.: Мир, 1971. - 326 с. Исследования одного из крупнейших математиков современности Дж. фон Неймана по теории самовоспроизводящихся автоматов представляют один из существенных этапов формирования этой теории. Работы, включенные в этот том, находились в рукописях и до сих пор были известны лишь по их изложению и по отдельным статьям, навеянным личным знакомством...
  • №201
  • 2,45 МБ
  • дата добавления неизвестна
  • изменен
2-е изд. Пер. с англ. — Москва; Санкт Петербург; Киев: Вильямс, 2002. — 528 с.: ил. — ISBN 5-8459-0261-4. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
  • №202
  • 3,88 МБ
  • дата добавления неизвестна
  • изменен
2-е изд. Пер. с англ. — Москва; Санкт-Петербург; Киев: Вильямс, 2008. — 528 с.: ил. — ISBN 978-5-8459-1347-0. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
  • №203
  • 20,94 МБ
  • добавлен
  • изменен
2-е изд. Пер. с англ. — Москва, Санкт Петербург, Киев: Вильямс, 2008. — 528 с.: ил. — ISBN 978-5-8459-1347-0. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
  • №204
  • 3,86 МБ
  • добавлен
  • изменен
2-е изд. Пер. с англ. — Москва, Санкт Петербург, Киев: Вильямс, 2002. — 528 с.: ил. — ISBN 5-8459-0261-4. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
  • №205
  • 12,18 МБ
  • добавлен
  • изменен
Москва: наука, 1969. — 316 с. Книга составлена из основных работ выдающегося советского специалиста в области кибернетики М. Л. Цетлина. Первая часть книги посвящена математическому моделированию простейших форм целесообразного поведения. Излагается теория игр автоматов. Отыскивается конструкция достаточно универсального автомата, обеспечивающего выигрыш в широком классе игр....
  • №206
  • 12,34 МБ
  • дата добавления неизвестна
  • изменен
Самара: СГУ, 2018. — 129 с. В данном учебном пособии изложены основные концепции, методы и алгоритмы теории формальных языков – науки, изучающей математические модели языков и имеющей практическую ориентацию на конструирование программной поддержки интеллектуальных языковых интерфейсов для общения человека с ЭВМ в самых различных областях науки и техники. Пособие ориентировано на...
  • №207
  • 711,77 КБ
  • добавлен
  • изменен
Учебное пособие. — Самара: Изд-во Самар. гос. аэрокосм. ун-та (СГАУ, СНИУ), 2007. — 96 с. : ил. В данном учебном пособии изложены основные концепции, методы и алгоритмы теории формальных языков - науки, изучающей математические модели языков и имеющей практическую ориентацию на конструирование программной поддержки интеллектуальных языковых интерфейсов для общения человека с ЭВМ в...
  • №208
  • 554,74 КБ
  • добавлен
  • изменен
Посібник для студентів I - II курсів, що вивчають курс "Дискретної математики". Даний посібник складається з одного розділу "Теоріі автоматів" та 35 додаткових завдань. Вся теорія детально описана, з наочними прикладами. Зміст Поняття скінченного автомата. Автоматне відображення Гомоморфізм, ізоморфізм і еквівалентність автоматиів Мінімальний автомат Автомати Мілі та...
  • №209
  • 623,42 КБ
  • добавлен
  • изменен
М.: Издательство иностранной литературы, 1956. — 402 с. Настоящая книга является переводом сборника статей по теории автоматов. Это - молодая научная дисциплина (отрасль кибернетики), возникшая под влиянием запросов техники цифровых вычислительных машин и моделирующих устройств. Сборник отражает различные аспекты теории автоматов. Некоторые статьи посвящены вопросам, связанным с...
  • №210
  • 7,83 МБ
  • добавлен
  • изменен
В этом разделе нет файлов.

Комментарии

В этом разделе нет комментариев.