В книге с помощью системы занимательных задач раскрываются математические основы теории автоматов и рассматривается ее применение для решения задач, возникающих в различных областях науки, техники и производства. Значительное внимание уделяется алгебре логики и теории графов, овладение которыми неотъемлемо от успешного составления алгоритмов и программ для ЭВМ. Приводятся исторические сведения и краткие биографии ученых, чьи имена связаны с рассматриваемыми в книге вопросами. Издание иллюстрировано.