раздел теоретической кибернетики, изучающий математические модели систем преобразования информации. К таким системам относятся биотехнические системы, в которых с помощью теории автоматов рассматриваются процессы восприятия, обработки и хранения информации, а также технические системы, включая вычислительную технику, программное обеспечение, системы управления и другие. Наиболее подробно в теории автоматов разработаны вопросы математического описания дискретных автоматов, их анализа, синтеза и оптимизации.