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

формат djvu
размер 1.93 МБ
добавлен 18 марта 2010 г.

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

ISBN 5-318-00537-3

Похожие разделы

Смотрите также

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

формат djvu
размер 1.67 МБ
добавлен 08 февраля 2012 г.

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

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

формат pdf
размер 1.25 МБ
добавлен 19 сентября 2010 г.

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

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

формат exe
размер 8.96 МБ
добавлен 09 августа 2008 г.

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

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

Статья

формат doc
размер 2.85 МБ
добавлен 09 апреля 2011 г.

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

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

Статья

формат doc
размер 100.04 КБ
добавлен 20 декабря 2008 г.

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

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

Статья

формат doc
размер 994.42 КБ
добавлен 24 марта 2010 г.

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

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

формат pdf
размер 3.17 МБ
добавлен 08 марта 2011 г.

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

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

формат djvu
размер 3.58 МБ
добавлен 24 сентября 2010 г.

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

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

формат doc
размер 186.72 КБ
добавлен 07 января 2009 г.

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

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

формат djvu
размер 2.46 МБ
добавлен 16 апреля 2011 г.

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