Рассматриваются основы теории конечных автоматов и формальных грамматик, операторных схем алгоритмов, способы задания и общие методы абстрактного и структурного синтеза цифровых автоматов. Уделяется внимание разработке цифровых схем комбинационного действия и схем с памятью.
В начале каждой главы приводится краткое изложение теории, затем подробно рассматриваются примеры и задачи с решениями. Приводятся контрольные вопросы.
Учебное пособие подготовлено на кафедре «Вычислительные машины и системы» Пензенского государственного технологического университета в соответствии с Федеральным государственным образовательным стандартом ВПО и предназначено для студентов, обучающихся по направлению подготовки бакалавров 230101.62 «Информатика и вычислительная техника».
Учебное пособие предназначено для студентов очной и заочной форм обучения специальности 220400 (ФГОС 3), 27.03.04 (ФГОС 3+) «Управление и информатика в технических системах».
Предлагаемое учебное пособие содержит вопросы формального описания цифровых автоматов применяется аппарат алгебры логики, созданной английским математиком Дж. Булем, рассматриваются теоретические основы построения цифровых автоматов как преобразователей двоичных цифровых сигналов. Изложены свойства элементарных функций алгебры логики. Подробно разобраны методы минимизации функций алгебры логики. Описан синтез абстрактного и структурного цифрового автомата.
Учебное пособие предназначено для студентов факультета Кибернетики, изучающих на пятом семестре математическую лингвистику и основы теории автоматов. Пособие представляет собой конспект лекций по этому курсу.
Пособие может быть полезно всем желающим получить начальные знания по изложенным разделам дискретной математики.
В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся автоматикой, технической кибернетикой и теорией игр, увлекающихся конструированием различных технических самоделок.
Учебник содержит материал по дисциплине «Теория автоматов и формальных языков»: языки, операции над языками, порождающие грамматики, конечные автоматы, регулярные выражения, автоматы с магазинной памятью, нормальные формы контекстно-свободных грамматик, алгоритмические проблемы для формальных языков.
Учебник адресован, прежде всего, студентам старших курсов, обучающимся по направлениям укрупнённой группы 02.03.00 «Компьютерные и информационные науки».
Учебное пособие является введением в раздел дискретной математики, посвященный способам определения формальных языков. Рассматриваются такие инструменты, как контекстно-свободные грамматики, регулярные выражения и конечные автоматы. Особый упор делается на применение этих понятий в программировании, что позволяет считать заключительные параграфы пособия введением в так называемое автоматно-ориентированное программирование.