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

  • формат 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...

Kudryavtsev V.B., Rosenberg I.G. Structural Theory of Automata, Semigroups, and Universal Algebra

  • формат pdf
  • размер 3.06 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 well-established reputation. This book contains the contributions of most of its in...

Kaynar D.K., Lynch N., Segala R., Vaandrage F. The Theory of Timed I-O Automata

  • формат pdf
  • размер 690.8 КБ
  • добавлен 01 ноября 2011 г.
Издательство 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 of their occurrence. Timed systems are employed in a wide range of...

Ginzburg A. Algebraic Theory of Automata

  • формат djvu
  • размер 1.89 МБ
  • добавлен 01 ноября 2011 г.
Издательство Academic Press, 1968, -173 pp. This monograph is intended to provide a graduate student and a newcomer to the field with ideas, methods, and results of algebraic theory of automata ; nevertheless, people working in the area may find the book useful, too, especially the chapters about regular expressions and the decomposition theory of Krohn and Rhodes. The book can serve as a text for a one-semester course in Automata Theory. The...

Carroll J., Long D. Theory of Finite Automata with an Introduction to Formal Languages

  • формат pdf
  • размер 14.54 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 algebra is used today to represent modern TIL (transistor-transistor lo...

Adamatzky A. etc. Automata-2008. Theory and Applications of Cellular Automata

  • формат pdf
  • размер 14.97 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 is the 14th workshop in a series of AUTOMATA workshops established in...

Kobrinskii N.E., Trakhtenbrot B.A. Introduction to the Theory of Finite Automata

  • формат djvu
  • размер 2.09 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 (termed robots). These automata take the form of independent special-purpo...

Salcido A. (ed.) Cellular Automata - Simplicity Behind Complexity

  • формат pdf
  • размер 13.92 МБ
  • добавлен 29 октября 2011 г.
Издательство 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 of a finite-dimensional lattice, with each site having a finite numb...

Гинзбург Сеймур. Математическая теория контекстно-свободных языков

  • формат djvu
  • размер 3.64 МБ
  • добавлен 15 октября 2011 г.
Москва, "Мир", 1970-326 стр. Перевод с английского В книге достаточно полно изложены основные понятия и результаты теории контекстно-свободных грамматик и языков, прослеживаются ее связи с теорией автоматов, языками программирования, лингвистикой и машинным переводом. Имеется большое число упражнений самой различной трудности, которые в совокупности существенно дополняют основной текст книги. Книга окажется полезной математику, желающему ознакоми...

Shallit J. A Second Course in Formal Languages and Automata Theory

  • формат pdf
  • размер 1.36 МБ
  • добавлен 14 октября 2011 г.
Издательство 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 languages, parsing and recognition, Turing machines, and other langua...

Афанасьев В.А. Прикладная теория цифровых автоматов

Практикум
  • формат doc
  • размер 424.74 КБ
  • добавлен 06 октября 2011 г.
Лабораторный практикум - пособие., 2002 год. 48 страниц. Анализ и синтез комбинационных схем. Триггеры. Счетчики. Анализ и синтез. Синтез управляющих автоматов с жесткой логикой.rn

Rozenberg G., Salomaa A. (eds.) Handbook of Formal Languages: Volume 1. Word, Language, Grammar

Справочник
  • формат pdf
  • размер 71.47 МБ
  • добавлен 06 октября 2011 г.
Издательство Springer, 1997, -873 pp. This first volume of the Handbook of Formal Languages gives a comprehensive authoritative exposition on the core of language theory. Grammars, codes, power series, L systems, and combinatorics on words are all discussed in a thorough, yet self-contained manner. This is perhaps the most informative single volume in the history of theoretical computer science. As a Ph.D. candidate working in parsing and intere...

Базарова С. Б-М., Чемерисюк А.С., Тулохонов Э.А., Гомбоев Е.Ш., Варфоломеев А.В.: Выполнение арифметических операций в АЛУ для чисел с фиксированной запятой. Часть I

  • формат pdf
  • размер 469.62 КБ
  • добавлен 29 сентября 2011 г.
Практическое пособие - ВСГТУ. – Улан-Удэ, 2006. – 77 с. В практическом пособии представлен материал по выполнению арифметических операций в АЛУ над числами с фиксированной запятой. Приведены алгоритмы выполнения операций, структурные схемы АЛУ для операций сложения, умножения, деления. Приведены примеры потактного выполнения операций на функциональных устройствах АЛУ. Практическое пособие предназначено для студентов специальности 230101«Вычислит...

Tao R. Finite Automata and Application to Cryptography

  • формат pdf
  • размер 3.31 МБ
  • добавлен 28 сентября 2011 г.
Издательство Tsinghua/Springer, 2008, -441 pp. 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 University Press and Springer. The book will be of special interest for student...

Rozenberg G., Salomaa A. (Eds.) Handbook of Formal Languages. Volume 2. Linear Modeling: Background and Application

Справочник
  • формат djvu
  • размер 15 МБ
  • добавлен 28 сентября 2011 г.
Издательство Springer, 1997, -552 pp. The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when the book Formal Languages by the second-mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest. This would not be possible any more....

Иванов Н.Н., Михайлов Г.И., Руднев В.В., Таль А.А. Конечные автоматы: эквивалентность и поведение

  • формат djvu
  • размер 4.17 МБ
  • добавлен 28 сентября 2011 г.
Издательство Наука, 1984, -194 с. В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые задачи, например задачу о реализуемости заданно поведения в автомате определенного класса (инициальном, детерминированном, полностью определенном, автомате...

Чорней Р.К. Теорія автоматів

  • формат pdf
  • размер 623.42 КБ
  • добавлен 26 сентября 2011 г.
Посібник для студентів I - II курсів, що вивчають курс "Дискретної математики". Даний посібник складається з одного розділу "Теоріі автоматів" та 35 додаткових завдань. Вся теорія детально описана, з наочними прикладами. Зміст Поняття скінченного автомата. Автоматне відображення Гомоморфізм, ізоморфізм і еквівалентність автоматиів Мінімальний автомат Автомати Мілі та автомати Мура

Жабін В.І., Жуков І.А., Клименко І.А., Ткаченко В.В. Прикладна теорія цифрових автоматів

  • формат djvu
  • размер 5.51 МБ
  • добавлен 23 сентября 2011 г.
К.: Книжкове вид-во НАУ, 2007. - 364 с. Розглянуто прикладні питання теорії цифрових автоматів, методи аналізу і синтезу логічних схем в сучасному елементному базисі, способи подання інформації та реалізації арифметичних операцій в ЕОМ. Запропоновано завдання та надано рекомендації з організації курсового проектування, лабораторних занять та контролю знань в умовах кредитно-модульної системи навчання.

Шеннон К.Э., Маккарти Дж. Автоматы (сборник статей)

  • формат djvu
  • размер 4.5 МБ
  • добавлен 05 июля 2011 г.
Настоящая книга является переводом сборника статей по теории автоматов. Это - молодая научная дисциплина (отрасль кибернетики), возникшая под влиянием запросов техники цифровых вычислительных машин и моделирующих устройств. Сборник отражает различные аспекты теории автоматов. Некоторые статьи посвящены вопросам, связанным с конструированием автоматов. Другие интересы главным образом с теоретико-познавательной точки зрения. СОДЕРЖАНИЕ: ЧАСТЬ I:...

Монахов М.Ю. Прикладная теория цифровых автоматов. Методические указания к курсовой работе

Практикум
  • формат pdf
  • размер 47.57 МБ
  • добавлен 29 июня 2011 г.
Г. Владимир, Издательство ВПТИ, 44 стр. , 1991 г. Рассматриваются вопросы функционирования и проектирования операционных устройств (композиции операционного и управляющего автоматов), реализующих задаваемую арифметическую операцию. Работа предназначена для студентов специальности 2201 дневной и вечерней форм обучения, но может быть использована и студентами смежных специальностей, специалистами при проектировании специализированных вычислительн...

Романов В.Ф. Лекции по теории автоматов. Структурный синтез автоматов. Часть 3

  • формат pdf
  • размер 623.36 КБ
  • добавлен 27 мая 2011 г.
Учебное пособие для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. ВлГУ- 2009 3.1. Канонический метод структурного синтеза 3.2. Триггеры 3.3. Регистры 3.4. Сумматоры 3.5. Синтез схемы автомата Мура по заданному графу 3.6. Счетчики 3.7. Кодирование состояний автомата. Пример синтеза автомата Мили Задачи и упражнения Литература

Самофалов К.Г., Риманкевич А.М., Валуйский В.Н., Каневский Ю.С., Пиневич М.М. Прикладная теория цифровых автоматов

  • формат pdf
  • размер 11.46 МБ
  • добавлен 16 мая 2011 г.
В учебнике рассмотрены вопросы проектирования к теории цифровых автоматов с учетом их реализации на современной элементной базе: арифметические основы, элементы теории, структурные методы синтеза на интегральных микросхемах, элементы теории помехоустойчивого кодирования и методы аппаратного контроля. Для студентов вузов, обучающихся по специальности «Электронные вычислительные машины». Издатель: К: Вища шк Год издания: 1987 Страниц: 375

Блюмин С.Л., Корнеев А.М. Дискретное моделирование систем автоматизации и управления

  • формат pdf
  • размер 831.17 КБ
  • добавлен 28 апреля 2011 г.
Липецк, 2005, 124 с. Представлены подходы к построению дискретных моделей, базирующихся на клеточной интерпретации. Рассмотрены дискретные пространственные, дискретные пространственно-временные, конечно-аргументные модели. Дискретно-аргументный подход можно использовать для описания сложных технологических процессов, характеризующихся многостадийностью обработки. Технологический процесс представлен в виде клеток, каждая из которых соответствует о...

Фон Нейман Дж. Теория самовоспроизводящихся автоматов

  • формат djvu
  • размер 2.46 МБ
  • добавлен 16 апреля 2011 г.
Пер. с англ. М.: Мир, 1971. 326 с. Не распознано. Оглавление: Предисловие. Введение Теория и организация сложных автоматов Теория автоматов: конструирование, воспроизведение, однородность. Общие соображения. Система из 29 состояний с общим правилом переходов. Синтез некоторых основных органов Конструкция ленты и системы управления ею. Самовоспроизведение автоматов. Список литературы Рисунки.

Лекции - Теория автоматов

Статья
  • формат doc
  • размер 2.85 МБ
  • добавлен 09 апреля 2011 г.
Введение общие сведения о цифровых автоматах. Основные понятия и определения. Синтез цифровых автоматов без памяти. Этапы синтеза. Общая теория конечных цифровых автоматов с памятью. Основные понятия и определения. Элементарные автоматы. Структурная схема конечного автомата. Технические особенности конечных автоматов. Синтез типовых узлов ЭВМ. Регистры. Счетчики. Счетчики с одновременным, сквозным и групповым переносом. Счетчики на кольцевых сдви...

Поликарпова Н.И., Шалыто А.А. Автоматное программирование

  • формат pdf
  • размер 1.68 МБ
  • добавлен 11 марта 2011 г.
СПб.: СПбГПУ, 2008. - 227с. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирова...

Сучкова Л.И. Абстрактный и структурный синтез автоматов

  • формат pdf
  • размер 3.17 МБ
  • добавлен 08 марта 2011 г.
Учебное пособие по дисциплине «Теория автоматов» / Л. И. Сучкова; АлтГТУ им. И. И. Ползунова. – Барнаул, Изд-во АлтГТУ, 2009. – 162 c., ил. В учебном пособии изложен теоретический материал по разделам курса «Теория автоматов», приведены задания для выполнения лабораторных работ по рассмотренным в пособии темам, дано описание обучающего программного комплекса по курсу. Учебное пособие предназначено для студентов, обучающихся на специальности «Вы...

Коштоев В.В., Кипиани К.К. Основы прикладной теории цифровых автоматов (учебное пособие)

  • формат doc
  • размер 994 КБ
  • добавлен 26 февраля 2011 г.
В. В. Коштоев, К. К. Кипиани Основы прикладной теории цифровых автоматов (учебное пособие). Тбилиси. 1998 год. В учебном пособии "Основы прикладной теории цифровых автоматов" в начале кратко описываются самые общие понятия по информационным основам цифровых автоматов. Далее, с многочисленными примерами, последовательно рассматриваются: - распространенные системы счисления и формы представления чисел в цифровых автоматах; - принципы организации а...

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

  • формат doc
  • размер 20.99 МБ
  • добавлен 09 февраля 2011 г.
Аннотация. Описание: Предлагаемая книга Артура Гилла—доктора наук по электротехнике, преподавателя Калифорнийского университета — содержит систематическое изложение основных вопросов теории конечных автоматов. Каждая глава книги содержит примеры и заканчивается задачами, что облегчает глубокую приработку и усвоение ее содержания. Книга является хорошим учебным пособием для студентов, инженеров и научных работников, занимающихся изучением теории к...

Шпоры - Теория автоматов

Шпаргалка
  • формат doc, docx
  • размер 3.94 МБ
  • добавлен 14 января 2011 г.
ЮУрГУ, специальность 230101, 2 курс (3 семестр) Билеты: 1. Цифровой автомат — общее понятие и особенности как математической модели реальных дискретных устройств. Абстрактные и структурные цифровые автоматы. Задание абстрактного цифрового автомата. 2. Структурный цифровой автомат — общее понятие, особенности как математической модели реальных дискретных устройств. Синтез структурных цифровых автоматов — постановка задачи, этапы синтеза и их общая...

Кочубей О.О., Сопільник О.В. Прикладна теорія цифрових автоматів. Логічні основи

  • формат djvu
  • размер 6.32 МБ
  • добавлен 13 января 2011 г.
Видавництво Дніпропетровського університету, 2009. - 264 с. Викладені логічні аспекти проектування цифрових автоматів. Подані основні положення алгебри логіки, розглянуті проблеми проектування комбінаційних та послідовнісних цифрових автоматів на основі типових логічних схем. Акцентується увага на алгоритмах мінімізації логічної структури, вирішенні проблеми перегонів у цифрових автоматах. Теоретичний матеріал ілюстрований прикладами і супроводж...

Holcombe W.M.L. Algebraic Automata Theory

  • формат pdf
  • размер 9.1 МБ
  • добавлен 11 января 2011 г.
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 based on fundamental ideas from modern algebra. Motivation for many of...

Шпора по теории автоматов

Шпаргалка
  • формат doc
  • размер 76.22 КБ
  • добавлен 22 декабря 2010 г.
Регистры, счетчики, триггеры операции выполняемые регистрами; режимы работы регистра; функции сдвигающего регистра. Счетчики: определение; разделение счетчиков по назначению; двоичный счетчик с параллельным переносом; десятичный счетчик; Асинхронные счетчики с послед. переносом Триггеры: RS-триггеры; Т-триггеры; D-триггеры; JK-триггеры;

Лабораторная работа - Автоматные модели процессов

Лабораторная
  • формат doc
  • размер 683 КБ
  • добавлен 08 декабря 2010 г.
Лабораторная работа - Автоматные модели процессов. ЧГУ 2010, специальность 230105. Построение для графа алфавитов: входной, выходной и внутренних состояний. Построение конечного автомата и таблицы переходов/выходов.

Лабораторная работа - Процессы. Операции над процессами. Протоколы процессов

Лабораторная
  • формат docx
  • размер 86.6 КБ
  • добавлен 07 декабря 2010 г.
Процессы. Операции над процессами. Протоколы процессов. ЧГУ 2010, специальность 230105, преподаватель Ганичева О. Г. Содержит полный текст программы на языке Lisp в среде программирования XLisp.rn

Лабораторная работа - Сетевая объектная модель

Лабораторная
  • формат doc
  • размер 161.5 КБ
  • добавлен 07 декабря 2010 г.
Построение сети Петри. Содержит полный текст программы на языке Pascal в среде программирования Delphi. ЧГУ 2010, специальность 230105, преподаватель Ганичева О. Г.

Арбиб М.А. Алгебраическая теория автоматов, языков и полугрупп

  • формат djvu
  • размер 3.6 МБ
  • добавлен 10 ноября 2010 г.
Издательство: Статистика, 1975, 335 c. Монография посвящена рассмотрению математического аппарата количественного и качественного анализа АСУ. Конечные автоматы благодаря их простой реализуемости на ЭВМ имеют значительные преимущества по сравнению с другими моделями. Авторы знакомят читателей с основными достижениями в этой области. Книга рассчитана на разработчиков АСУ и цифровых средств вычислительной техники, на математиков, работающих в обл...

Лабораторная работа - Построение управляющих автоматов с помощью генетических алгоритмов

Лабораторная
  • формат pdf
  • размер 432.18 КБ
  • добавлен 06 ноября 2010 г.
В данной работе изучается применение генетических алгоритмов для построения конечных автоматов на примере задачи «Умный муравей». В результате необходимо построить конечный автомат Мура, управляющий поведением муравья таким образом, чтобы задача решалась наиболее эффективным образом. При выполнении работы использовался программный модуль («Виртуальная лаборатория»), позволяющий реализовывать генетические алгоритмы и особей для них в виде подк...

Бокр Й. Новая парадигма логического управления

Статья
  • формат pdf
  • размер 625.43 КБ
  • добавлен 06 ноября 2010 г.
В статье рассматривается динамический логический объект, объясняются причины его „динамики, вводится его собственная траектория состояний. Критически анализируется имеющаяся концепция логического управления. Показывается, что система логического управления динамическим объектом представляет собой каноническую композицию. Вводится потенциально-динамический объект, строится на котором система логического управления. Статья также занимается програ...

Дехтярь М.И. Конечные автоматы (Лекции по дискретной математике)

  • формат pdf
  • размер 475.64 КБ
  • добавлен 06 ноября 2010 г.
Содержание Переработка информации с помощью конечных автоматов Конечные автоматы распознаватели Детерминированные конечные автоматы (ДКА) и автоматные языки Произведение автоматов Недетерминированные конечные автоматы и их детерминизация Регулярные выражения и языки Регулярные языки и конечные автоматы Автоматы для регулярных языков Свойства замкнутости класса автоматных языков Теорема о разрастании автоматных языков. Неавтоматные языки

Цетлин М.Л. Исследования по теории автоматов и моделированию биологических систем

  • формат pdf
  • размер 12.34 МБ
  • добавлен 05 ноября 2010 г.
1969г. , 316стр. Книга составлена из основных работ выдающегося советского специалиста в области кибернетики М. Л. Цетлина. Первая часть книги посвящена математическому моделированию простейших форм целесообразного поведения. Излагается теория игр автоматов. Отыскивается конструкция достаточно универсального автомата, обеспечивающего выигрыш в широком классе игр. Приводятся примеры таких конструкций. Вторая часть содержит очерки о биологических с...

Успенский В.А. Машина Поста

  • формат djvu
  • размер 766.66 КБ
  • добавлен 01 октября 2010 г.
Предисловие. Как работает машина Поста. Прибавление единицы на машине Поста. Анализ и синтез программ машины Поста. Возможности машина Поста.

Белов А.Г. Теория автоматов

  • формат doc
  • размер 656 КБ
  • добавлен 24 сентября 2010 г.
Методические рекомендации и контрольные задания для студентов вузов. Цель и задачи дисциплины. Требования к уровню освоения содержания дисциплины. Объем дисциплины и виды учебной работы. Содержание дисциплины: Классификация и характеристики автоматов. Формальные языки и грамматики. Основные понятия и законы алгебры логики. Синтез комбинационной схемы автомата. Синтез автоматов с памятью. Содержание лабораторных занятий. Темы рефератов. Распределе...

Трахтенброт Б.А., Барздинь Я.М. Конечные автоматы (поведение и синтез)

  • формат djvu
  • размер 3.58 МБ
  • добавлен 24 сентября 2010 г.
М., "Наука", 1970 г. , 400 стр. Книга посвящена поведенческой (абстрактной) теории автоматов: Поведение автоматов без выходов и с выходом. Метаязыки. Расшифровка автоматов. Статистические оценки параметров и спектров автоматов.

Брауэр В. Введение в теорию конечных автоматов

  • формат djvu
  • размер 11.68 МБ
  • добавлен 23 сентября 2010 г.
М.: Радио и связь, 1987. 392 с. В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют упражнения.

Постников А.И., Вейсов Е.А. Теория автоматов и машинная арифметика

  • формат doc
  • размер 5.79 МБ
  • добавлен 23 сентября 2010 г.
Учебное пособие, ИПЦ КГТУ 2006 г. Информация и вычислительные машины. Системы счисления. Основы алгебры логики. Минимизация ФАЛ. Основные электронные узлы комбинационного типа. Основы теории автоматов. Типовые узлы ЦВМ на основе триггеров. Микропрограммные автоматы. Управляющие автоматы с программируемой логикой. Операционный автомат. Сложение двоичных чисел. Умножение двоичных чисел. Деление двоичных чисел. Ускорение выполнения арифметических о...

Иванов В.С. Лекции по теории автоматов

  • формат htm, jpg, gif, doc
  • размер 3.45 МБ
  • добавлен 19 сентября 2010 г.
УлГТУ, 2 курс. Содержание. Абстрактные автоматы. Структурный автомат. Кодирование состояний автомата. Функционирование цифровых автоматов.

Выхованец В.С. Теория автоматов

  • формат pdf
  • размер 1.25 МБ
  • добавлен 19 сентября 2010 г.
Учеб. пособие для вузов. - Тирасполь, 2001. 120 с. В учебном пособии излагаются основы современной теории автоматов, представляющих собой одну из основных моделей управляющих систем. Рассматриваются вопросы, связанные с формальными языками и грамматиками, общей теорией алгоритмов, магазинными и конечными автоматами. Представлен прикладной аспект проектирования дискретных устройств. Формальные языки и грамматики Формальные языки Формальные граммат...

Кудрявцев В.Б., Алешин С.В., Подколзин А.С. Введение в теорию автоматов

  • формат djvu
  • размер 2.8 МБ
  • добавлен 08 августа 2010 г.
1985 г. , 320 с. Один из лучших фундаментальных трудов по теории автоматов. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего формирования теории автоматов. Для специалистов, раб...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 994.42 КБ
  • добавлен 24 марта 2010 г.
ВлГУ. Учебное пособие 2006 года для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. Содержит теоретический материал а так же задачи и упражнения для решения. Данный архив содержит два документа: Часть 1 - Теория абстрактных автоматов. Часть 2 - Логические основы цифровых автоматов.

Карпов Ю.Г. Теория автоматов

  • формат djvu
  • размер 1.93 МБ
  • добавлен 18 марта 2010 г.
СПб.: Питер, 2003. - 208 с., ил. В книге рассматриваются: Конечные функциональные преобразователи (булевы функции, функциональная полнота); Введение в математическую логику (формальные модели, логика высказываний, логическое следствие, основы логики предикатов и логического вывода, логическое программирование); Конечные автоматы (автоматное преобразование информации, примеры КА, графы переходов, алгебраическая структурная теория КА); Автоматн...

Гросс М., Лантен А. Теория формальных грамматик

  • формат djv
  • размер 7.07 МБ
  • добавлен 14 марта 2010 г.
М.: Мир, 1971. - 296 с. Книга посвящена одной из наиболее важных областей математической лингвистики - теории формальных грамматик Хомского. В первой части вводятся необходимые понятия из алгебры, математической логики и теории алгоритмов. Во второй рассматриваются некоторые классы формальных языков; третья часть посвящена алгебраической трактовке языков и их свойств. Написанная на достаточно высоком уровне строгости, книга в то же время является...

Илюхин А.В. Логические автоматы. Типовые комбинационные схемы

  • формат pdf
  • размер 2.11 МБ
  • добавлен 13 марта 2010 г.
Учебное пос. МАДИ(ГТУ). -М. , 2007. – 133 с. Обобщенные материалы по принципам функционирования, построения и методике синтеза схем логических автоматов, относящихся к простейшим схемам – комбинационного типа. Описание и характеристики основных серий интегральных цифровых микросхем (ИЦМ). Схемотехника их базовых элементов, типов и особенностей эксплуатации. Сведения по построению и применению микросхем комбинационного типа для синтеза схем логи...

Жабин В.И., Жуков И.А., Клименко И.А., Стиренко С.Г. Арифметические и управляющие устройства цифровых ЭОМ (на укр.языке)

  • формат pdf, jpg
  • размер 9.08 МБ
  • добавлен 02 марта 2010 г.
Учебное пособие. - К.: ВЕК +, 2008. - 176 стр. Учебное пособие посвящённый вопросам реализаций арифметических операций в цифровых ЭОМ. Рассмотрены вопросы постройки арифметических устройств разных типов и средств управления выполнения операций. Предложены задания и даны рекомендации по организации практичеких и лабораторных заняти, рассмотрены примеры построения функциональных и принципиальных схем. Учебник предназначен для студентов направления...

Пентус А.Е., Пентус М.Р. Теория формальных языков

  • формат pdf
  • размер 539.73 КБ
  • добавлен 10 февраля 2010 г.
М.: Издательство ЦПИ при механико-математическом факультете МГУ, 2004. - 80 с. Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики - теории формальных языков. Рассматриваются порождающие грамматики, классификация формальных языков по Хомскому, регулярные выражения, конечные автоматы, автоматы с магазинной памятью, алгоритмические проблемы, связанные с контекстно-свободными грамматиками. Для студе...

Ответы на экзаменационные билеты по теории автоматов

pottee
  • формат doc
  • размер 62.25 КБ
  • добавлен 18 января 2010 г.
Кубанский Государственный Технологический Университет. Специальность: Вычислительные машины, комплексы, системы и сети. (230101). Второй курс. Темы рассмотренные в билетах: Классификация автоматов. Одноблочные и многоблочные автоматы. Микропроцессорные цифровые автоматы и структуры их построения. Структурные автоматы. Представление структурных автоматов. Структуры построения многоблочных автоматов. Определение абстрактного автомата. Алфавиты вх...

Бровков В.Г., Богатова 0.0. Прикладная теория цифровых автоматов. Конспект лекций

  • формат pdf
  • размер 2.73 МБ
  • добавлен 10 января 2010 г.
Одеса 2001(украинский язык) Конспект лекцій складений для студентів спеціальності «Спеціалізовані комп'ютерні системи». Конспект призначений для спрощення роботи студентів (і викладача) під час лекцій і містить набір ключових понять, схем, таблиць і описів, необхідних для більш повного розуміння матеріалу лекцій.

Кревский И.Г., Селиверстов М.Н., Григорьева К.В. Формальные языки, грамматики и основы построения трансляторов

  • формат pdf
  • размер 807.78 КБ
  • добавлен 04 января 2010 г.
Изд-во Пенз. гос. ун-та, 2002. - 124 с. Представлен материал для изучения разделов, посвященных формальным языкам, грамматикам и разработке трансляторов. Подробно рассмотрены основные вопросы - теория грамматик и автоматов, лексический анализ, нисходящий и восходящий синтаксический анализ, построение программы синтаксического анализа для заданного синтаксиса, применение синтаксических диаграмм для построения анализаторов. Приведены методические у...

Комский Д.М., Игошев Б.М. Электронные автоматы и игры

  • формат djvu
  • размер 3.27 МБ
  • добавлен 10 декабря 2009 г.
Издательство: Энергоиздат Год издания: 1981 Страниц: 168 В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся автоматикой, технической кибернетикой и теорией игр, увл...

Фон Нейман Дж. Теория самовоспроизводящихся автоматов

  • формат djvu
  • размер 2.45 МБ
  • добавлен 22 ноября 2009 г.
Исследования одного из крупнейших математиков современности Дж. фон Неймана по теории самовоспроизводящихся автоматов представляют один из существенных этапов формирования этой теории. Работы, включенные в этот том, находились в рукописях и до сих пор были известны лишь по их изложению и по отдельным статьям, навеянным личным знакомством с автором и его рукописями. Издание настоящей книги, безусловно, будет стимулировать другие работы в этом напр...

Базарова С. Б-М., Чемерисюк А.С., Тулохонов Э.А., Гомбоев Е. Выполнение арифметических операций в АЛУ

  • формат doc
  • размер 195.16 КБ
  • добавлен 19 ноября 2009 г.
Практическое пособие. – Улан-Удэ: ВСГТУ, 2002. – 88 с. Рассмотрены основные алгоритмы выполнения арифметических операций для чисел с фиксированной и плавающей запятой. Приведены примеры выполнения операций в многофункциональном АЛУ. Показаны алгоритмы функционирования АЛУ для чисел с плавающей запятой. Практическое пособие предназначено для применения в учебном процессе при изучении курсов «Теория проектирования ЭВМ» и «Организация ЭВМ». Содерж...

Малаханов А.А. Структурный синтез дискретного автомата

  • формат pdf
  • размер 7.46 МБ
  • добавлен 08 ноября 2009 г.
Методичка, БГТУ (Брянск) - 5с. Содержание: Постановка задачи Определение входных, выходных сигналов и состояний автомата Направленный граф автомата Мура Примеры реализации асинхронного и синхронного автомата а) синтез асинхронного автомата Мура б) синтез синхронного автомата Мура

Рейуорд-Смит В.Дж. Теория формальных языков. Вводный курс

  • формат djvu
  • размер 2.12 МБ
  • добавлен 17 сентября 2009 г.
М.: Радио и связь, 1988. - 128 с. В книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах. Удачно подобранные упражнения в конце каждой главы не только поясняют, но и дополняют основной материал книги. Для разработчиков программного...

Глушков В.М. Синтез цифровых автоматов

  • формат djvu
  • размер 5.11 МБ
  • добавлен 07 сентября 2009 г.
(ГИФМЛ, 1962) Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе схем современных сложных цифровых автоматов и прежде всего электронных вычислительных машин. Изложение построено таким образом, чтобы...

Хопкрофт Д., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений

  • формат djvu
  • размер 3.88 МБ
  • добавлен 15 июня 2009 г.
2002 г., второе издание, 528 стр. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и неразрешимых проблем, а также определяются функции временной и емкостной оценки сложности алгоритмов. Изложение ведется строго, но доступно, и соп...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 310.58 КБ
  • добавлен 28 мая 2009 г.
Целью дисциплины является изложение принципов организации программных и аппаратных средств, в рамках персональных ЭВМ с использованием теории автоматов, овладение навыками разработки программного обеспечения и аппаратных средств ЭВМ.rn

Антик М.И. Синхронные цифровые автоматы

  • формат pdf
  • размер 2.53 МБ
  • добавлен 16 апреля 2009 г.
В пособии исследуется логический этап проектирования цифровых синхронных схем. При этом предполагается, что читатель знаком с основами логического проектирования комбинационных схем.

Лупал А.М. Теория автоматов (часть 2)

  • формат pdf
  • размер 707.11 КБ
  • добавлен 09 апреля 2009 г.
В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на основах абстрактного и структурного синтеза.

Лупал А.М. Теория автоматов (часть 1)

  • формат pdf
  • размер 471.28 КБ
  • добавлен 09 апреля 2009 г.
В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на основах абстрактного и структурного синтеза.

Гудилин А.Е., Барбасова Т.А. Теория цифровых автоматов

  • формат doc
  • размер 1.73 МБ
  • добавлен 06 апреля 2009 г.
ВВЕДЕНИЕ. ЛОГИЧЕСКИЕ ОСНОВЫ ЦИФРОВЫХ АВТОМАТОВ. Основные понятия алгебры логики. Базис И, ИЛИ, НЕ. Свойства элементарных функций алгебры логики. Способы описания булевых функций. Табличное описание булевых функций. Аналитическое описание булевых функций. Числовая форма представления булевых функций. Графическая форма представления булевых функций. Геометрическое представление булевых функций. Минимизация функций алгебры логики. Минимизация с помо...

Радкевич И.А, Барбасова Т.А. Методичка цифровые автоматы

  • формат doc
  • размер 80.85 КБ
  • добавлен 06 апреля 2009 г.
Методическое руководство предназначено для студентов специальности «Управление и информатика в технических системах» дневной и заочной форм обучения, выполняющих курсовую работу по дисциплине «Цифровые автома-ты», связанную с разработкой цифрового автомата с функциями преобразовате-ля кода. В руководстве изложена постановка цели и задач курсовой работы, приведена информация об основных этапах и технологиях моделирования циф-рового автомата в прог...

Практические занятия по теории автоматов

Лабораторная
  • формат doc
  • размер 858.32 КБ
  • добавлен 05 апреля 2009 г.
Системы счисления. Перевод из одной системы счисления в другую. Выполнение сложения в разных системах счисления. Представление двоичных чисел в прямом, обратном и дополнительном кодах. Модифицированные коды. Способы представления автоматов. Эксперименты с автоматами. Синтез автоматов по дереву управления. Структурный синтез автомата. Алгоритмическая система Тьюринга.

Постников А.И. Теория автоматов

  • формат doc
  • размер 962.98 КБ
  • добавлен 16 февраля 2009 г.
Излагаются способы представления информации в цифровых автоматах, методы выполнения основных арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Рассматриваются способы контроля правильности функционирования цифровых автоматов при выполнении различных операций, методы минимизации логических выражений. Теоретический материал иллюстрируется примера...

Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов

  • формат djvu
  • размер 3.05 МБ
  • добавлен 28 января 2009 г.
Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. – 3-е изд., перераб. и доп. – М.: Энергоатомиздат, 1989. – 328 с. Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации на основе разл...

Тюрин С.В., Акинина Ю.С. Практические задачи теории автоматов

  • формат doc
  • размер 186.72 КБ
  • добавлен 07 января 2009 г.
Практические задачи теории автоматов: Методические рекомендации по выполнению лабораторных работ № 1-9 по дисциплине «Теория автоматов» для студентов специальности 230101 очной формы обучения Методическое пособие содержит краткие теоретические сведения и задания для получения первичных навыков по прак-тическому решению задач логического проектирования доста-точно простых узлов цифровой вычислительной техники. Предназначено для студентов второго...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 100.04 КБ
  • добавлен 20 декабря 2008 г.
Синтез конечных автоматов. Способы задания автомата. Частичные автоматы. Эквивалентность автоматов. Абстрактный синтез конечных автоматов. Представление событий в автоматах. Операции в алгебре событий. Система основных событий. Методы абстрактного синтеза. Структурный синтез конечных автоматов. Элементарные автоматы. Структурная схема конечного автомата. Табличный метод структурного синтеза конечных автоматов. Технические особенности конечных авт...

Реферат - Детерминированные и недетерминированные конечные автоматы

Реферат
  • формат doc
  • размер 43.48 КБ
  • добавлен 27 ноября 2008 г.
Подробный и доступный доклад о детерминированных и недетерминированных автоматах. Приведены примеры и определения.

Горбоконенко В.Д., Шикина В.Е. Арифметические основы цифровой техники

  • формат pdf
  • размер 507.85 КБ
  • добавлен 12 ноября 2008 г.
Методические указания к практическим занятиям по курсу «Прикладная теория информации» Издательство: УлГТУ (Ульяновск) Год издания: 2003 Страницы: 27 Указания написаны в соответствии с рабочей программой курса «Прикладная теория информации» для специальностей 071900 «Информационные системы в технике и технологиях» и 1903300 «АП и ИВК». В них содержатся математические основы информатики, включающие системы счисления и формы представления информац...

Савельвев А.Я. Основы информатики

  • формат pdf
  • размер 4.46 МБ
  • добавлен 18 октября 2008 г.
М.: Изд-во МГТУ им. Н. Э. Баумана. Излагаются основные понятия информатики, методы измерения и представления информации, способы представления числовой информации в информационных системах, методы и алгоритмы выполнения арифметических и логических операций в различных системах счисления. Уделяется внимание методам контроля правильности функционирования цифровых автоматов как основному элементу информационных систем, а также способам защиты инфор...

Карпов Ю.Г. Теория автоматов

  • формат exe
  • размер 8.96 МБ
  • добавлен 09 августа 2008 г.
Конечные функциональные преобразователи.Булевы функции. Функциональная полнота.Формы представления булевых функций. Введение в математическую логику.Формальные высказывания. Логика высказываний.Логическое следствие.Основы логики предикатов и логического вывода.Логическое программирование Конечные автоматы.Автоматное преобразование информации.Примеры КА.Визуальный формализм представления моделей реактивных систем.Графы переходов при спецификации и...

Савельев А.Я. Прикладная теория цифровых автоматов

  • формат djvu
  • размер 1.4 МБ
  • добавлен 29 января 2008 г.
В книге излагаются способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности функционирования цифровых автоматов при выполнении различных операций, методам минимизации логических выражений. Теоретический материал иллюстр...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 628.87 КБ
  • добавлен 03 июня 2006 г.
Методы анализа и синтеза комбинационных схем. Канонический метод синтеза комбинационных схем. Характеристики комбинационных схем. Системы (серии) логических элементов и их основные характеристики. Анализ комбинационных схем. Анализ комбинационных схем методом pi-алгоритма. Анализ КС методом синхронного моделирования. Анализ КС методом асинхронного моделирования. основные понятия и определения теории абстрактных автоматов. способы опи...

Коштоев В.В., Кипиани К.К. Учебное пособие

  • формат doc
  • размер 228.93 КБ
  • добавлен 01 июня 2006 г.
Основы прикладной теории цифровых автоматов. Информационные основы цифровых автоматов. Информация и общие принципы ее преобразования. Обмен информацией между различными информационными устройствами. Аппаратные средства хранения и обработки информации. Общие понятия о цифровом автомате и алгоритме Представление числовой информации в цифровом автомате Системы счисления и понятие кода. Выбор системы счисления. Формальные правила двоичной арифмет...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 65.51 КБ
  • добавлен 31 мая 2006 г.
Алгоритмические модели. Машина Тьюринга. Основная гипотеза Тьюринга. Устойчивость автоматов. Состязания и гонки конечных автоматов. ры по устранению гонок в структурном автомате. Направленное кодирование состояний абстрактного автомат. Cоседние кодирование соседних состояний. Синхронизация структурного автомата. Двойная память. Абстрактный автомат и способы его задания. Детерминированность и способы задания МТ. Конфигурация МТ. Канонический мето...

Шпоры по теории автоматов

pottee
  • формат doc
  • размер 401.11 КБ
  • добавлен 30 мая 2006 г.
Строки. Префиксы, суффиксы, подстроки. Языки. Форма Бэкуса-Наура. Дерево вывода. Синтаксические и семантические деревья. Замыкание Клини. Контекстная грамматика. Контекстно-свободная гр-ка(КС/Г). Регулярные языки. Порождающие грамматики. Виды, примеры. Классификация языков по Хомскому. Примеры. Регулярные грамматики и конечный автомат. Автоматы и теория алгоритмов. Распознавание мн-в автоматами. Распознаватели, задачи, виды распознавателей. Машин...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 26.71 КБ
  • добавлен 28 мая 2006 г.
Введение. Конечный автомат. Формальные языки. Понятие о языках. Синтаксический разбор. Отношения и формальные системы. Замыкание. Редукция. Строки. Введение а грамматику. Контекстная грамматика.rn

Самостоятельная работа №3

Лабораторная
  • формат doc
  • размер 17.32 КБ
  • добавлен 25 мая 2006 г.
Анализ последовательностной схемы. Получение аналитического описания автомата. Восстановление таблицы истинности по аналитическому описанию. Анализ всех возможных начальных состояний, нахождение циклов и тупиковых начальных состояний. Построение таблицы переходов. Построение круговой диаграммы переходов.

Самостоятельная работа №2 (2)

Лабораторная
  • формат doc
  • размер 46.44 КБ
  • добавлен 24 мая 2006 г.
Разработка схемы для управления семисегментным индикатором.

Самостоятельная работа №1 (2)

Лабораторная
  • формат doc
  • размер 53.19 КБ
  • добавлен 23 мая 2006 г.
Представление грамматики конечным автоматом и сетью Петри. Изучение способов задания языков грамматиками, распознающими автоматами, сетями Петри и построение конечного автомата, распознающего заданный язык.

Самостоятельная работа №1

Лабораторная
  • формат doc
  • размер 52.34 КБ
  • добавлен 22 мая 2006 г.
Представление грамматики конечным автоматом и сетью Петри. Изучение способов задания языков грамматиками, распознающими автоматами, сетями Петри и построение конечного автомата, распознающего заданный язык.

Самостоятельная работа №2

Лабораторная
  • формат doc
  • размер 13.46 КБ
  • добавлен 21 мая 2006 г.
Разработка схемы для управления семисегментным индикатором в булевом базисе.