Варшавский В.И. Коллективное поведение автоматов

  • формат djvu
  • размер 1.67 МБ
  • добавлен 08 февраля 2012 г.
Монография, Москва, "Наука", 1973, 408 Поведение автоматов в случайных средах Игры автоматов Случайное парное взаимодействие в коллективах автоматов Модели коллективного поведения Поведение систем взаимодействующих автоматов

Салий В.Н. Универсальная алгебра и автоматы

  • формат pdf
  • размер 38.07 МБ
  • добавлен 25 января 2012 г.
Учебное пособие, 1988 г., 73 стр. Саратовский государственный университет. ISBN 5-292-00263-1 В пособии излагаются основные понятия и результаты теории конечных автоматов без выхода, связанные с универсально-алгебраическими конструкциями. Представление об автомате без выхода как о конечной унарной алгебре позволяет применить в теории автоматов хорошо разработанные универсально-алгебраические средства, придать установленным с их помощью фактам ес...

Кобринский Н.Е., Трахтенброт Б.А. Введение в теорию конечных автоматов

  • формат djv
  • размер 3.77 МБ
  • добавлен 08 января 2012 г.
М.: ГИФМЛ, 1962. - 405 с. В последние годы повсеместно и с большой интенсивностью ведутся работы по созданию и применению различных автоматических систем дискретного действия для переработки информации. Они лежат в основе быстродействующих цифровых вычислительных машин, автоматических устройств для управления объектами и систем, моделирующих деятельность живого организма (так называемых роботов). Производство кибернетических автоматов растет быс...

Кокин А.Г., Кузнецов В.Н. Конечные автоматы: языки и грамматики

Практикум
  • формат doc
  • размер 102.1 КБ
  • добавлен 05 января 2012 г.
Курган: КГУ, Кафедра программного обеспечения вычислительной техники и автоматизированных систем, 1996. - 35 с. Методические указания и задания для проведения практических занятий по курсу «Теория вычислительных процессов и структур» Содержание Конечные автоматы Основные определения Упражнения Эквивалентность и минимизация полных автоматов Упражнения Частичные автоматы и их минимизация Упражнения Конечные распознаватели Основные определения У...

Гилл А. Введение в теорию конечных автоматов

  • формат pdf
  • размер 8.48 МБ
  • добавлен 04 января 2012 г.
М.: Наука, 1966. - 272 с. Предлагаемая книга содержит систематическое изложение основных вопросов теории конечных автоматов. Каждая глава книги содержит примеры и заканчивается задачами, что облегчает глубокую приработку и усвоение ее содержания. Книга является хорошим учебным пособием для студентов, инженеров и научных работников, занимающихся изучением теории конечных автоматов и ее практическими приложениями.

Aiserman M., Gusev L., Rozonoer L., Smirnova l., Tal A. Logic, Automata, and Algorithms

  • формат pdf
  • размер 5.3 МБ
  • добавлен 03 января 2012 г.
Издательство 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 i t would be useful to specialists in switching or digital computer theory and design. Such persons are already familiar wi...

Bowman H., Gomez R. Concurrency Theory. Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

  • формат pdf
  • размер 1.79 МБ
  • добавлен 03 января 2012 г.
Издательство 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 more common when manmade artefacts are considered. In particular, comput...

Comon H. etc. Tree Automata Techniques and Applications

  • формат pdf
  • размер 1.7 МБ
  • добавлен 03 января 2012 г.
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 Gecseg and Steinby. Unfortunately, it is now impossible to find a cop...

Kozen D.C. Automata and Computability

  • формат djvu
  • размер 4.05 МБ
  • добавлен 03 января 2012 г.
Издательство 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 required for computer science majors at Cornell. It exists in two forms:...

D?m?si P., Nehaniv C.L. Algebraic Theory of Automata Networks. An Introduction

  • формат pdf
  • размер 13.64 МБ
  • добавлен 03 января 2012 г.
Издательство Springer, 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 function of the states and a global input, and synchronous action of the local state transitio...

Lawson M.V. Finite Automata

  • формат pdf
  • размер 5.93 МБ
  • добавлен 27 декабря 2011 г.
Издательство CRC Press, 2004, -326 pp. 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 in mathematics, mathematicians did not spell out precis...

Subramanian K.G., Rangarajan K., Mukund M. (eds.) Formal Models, Languages and Applications

  • формат pdf
  • размер 16.46 МБ
  • добавлен 10 декабря 2011 г.
Издательство 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 research. She has also inspired generations of students in Chennai with her t...

Reghizzi S.C. Formal Languages and Compilation

  • формат pdf
  • размер 2.6 МБ
  • добавлен 05 декабря 2011 г.
Издательство 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 over half a century, and its relevance for theory and practice is as imp...

Bel-Enguix G., Jim?nez-L?pez M.D., Mart?n-Vide (eds.). New Developments in Formal Languages and Applications

  • формат pdf
  • размер 4.31 МБ
  • добавлен 05 декабря 2011 г.
Издательство 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, artificial life), biology (plant development, molecular genetics), lingu...

Гилл А. Введение в теорию конечных автоматов

  • формат djvu
  • размер 1.92 МБ
  • добавлен 05 ноября 2011 г.
М.:Наука, 1966. - 272с. Предлагаемая книга Артура Гилла—доктора наук по электротехнике, преподавателя Калифорнийского университета — содержит систематическое изложение основных вопросов теории конечных автоматов. Каждая глава книги содержит примеры и заканчивается задачами, что облегчает глубокую приработку и усвоение ее содержания. Книга является хорошим учебным пособием для студентов, инженеров и научных работников, занимающихся изучением тео...

Xavier S.P.E. Theory of Automata Formal Languages and Computation

  • формат pdf
  • размер 1.89 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 subject to computer science, this book has been written with major stress o...

Taubner D. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

  • формат djvu
  • размер 1.31 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 machines and automata; it has concurrency and causality as its basic concep...

Salomaa A., Wood D., Yu S. (eds.) A Half-Century of Automata Theory. Сelebration and Inspiration

  • формат djvu
  • размер 608.85 КБ
  • добавлен 01 ноября 2011 г.
Издательство 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 directions. To celebrate the achievements in automata theory in the past h...

Pin J.E. (ed.) Formal Properties of Finite Automata and Applications

  • формат djvu
  • размер 2.38 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 proceedings have been divided into three sections. The first section is de...

Mikolajczak B. Algebraic and structural automata theory

  • формат djvu
  • размер 2.16 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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, digital systems of control for technological processes, and digital sys...