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

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

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

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

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

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

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

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

Статья
  • формат 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 состояний с общим правилом переходов. Синтез некоторых основных органов Конструкция ленты и системы управления ею. Самовоспроизведение автоматов. Список литературы Рисунки.