Электронные книги: Введение в схемы, автоматы и алгоритмы

Введение в схемы, автоматы и алгоритмы
М.И. Дехтярь
Электронная книга
(fb2 - 3.1 Мб, txt - 186.7 Кб, html - 2.8 Мб, epub - 3 Мб)
Краткий начальный курс по таким дискретным структурам как схемы, конечные автоматы и алгоритмы.
Курс знакомит с двумя представлениями булевых функций с помощью специальных классов ориентированных графов без циклов: логическими схемами (схемами из функциональных элементов) и упорядоченными бинарными диаграммами решений (УБДР). Изложены основы теории конечных автоматов: конечные автоматы-преобразователи и -распознаватели, детерминированные автоматы и языки, недетерминированные автоматы и их детерминизация, регулярные выражения и языки, синтез конечного автомата по регулярному выражению, замкнутость класса автоматных языков относительно разных операций, теорема о разрастании для автоматных языков, примеры неавтоматных языков. Дается краткое введение в теорию алгоритмов, сравниваются три формальных модели описания алгоритмов: структурированные программы, частично рекурсивные функции и машины Тьюринга, формулируется тезис Тьюринга-Черча и устанавливается алгоритмическая неразрешимость ряда проблем, относящихся к свойствам структурированных программ. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.
Цена: 100.00 руб. | Купить |  | 

Учебный курс

Введение в схемы, автоматы и алгоритмы
Уровень: специалист | Доступ: свободно | ВУЗ: Тверской государственный университет | Студентов: 1300 / 43 | Оценка выпускников: 5.00 / 5.00
ISBN: 978-5-94774-714-0
Краткий начальный курс по таким дискретным структурам как схемы, конечные автоматы и алгоритмы.