В пособии изложены основы прикладной теории автоматов применительно к компьютерам: общие сведения об автоматах (основные определения, обозначения, свойства и характеристики автоматов,  типы автоматов, отношения между автоматами, "0”, ”1” алгебры автоматов и др.), способы задания (описания) автоматов, операции над автоматами (композиция автоматов, декомпозиция автомата, алгебраические операции, проверка отношений, упрощение автомата), законы и тождества алгебры автоматов.