Введение в теорию автоматов, Князьков В.С., Волченская Т.В., 2016.
Приводятся начальные сведения об абстрактных автоматах Мили и Мура. Даются возможные способы представления автоматов: теоретико-множественное, графовое, табличное и матричное, понятия реакции автомата и эквивалентных автоматов. Приводятся методы взаимного эквивалентного преобразования автоматов. Приводятся общие сведения о микропрограммном управлении, понятия микрокоманды, микрооперации, микропрограммы, способы представления микропрограмм в виде граф-схем алгоритмов (ГСА), формул переводов, матричных и логическим схем алгоритмов. Приводятся методы разметки ГСА и правила построения по ним автоматов Мили и Мура. Дается понятие совмещенного автомата и способы его представления. Рассматриваются методы канонического синтеза структурных автоматов. Приводятся примеры синтеза памяти структурного автомата на базе RS-, Т- и D-триггеров.