В теоретической информатике теория автоматов - это изучение абстрактных «математических» машин или систем и вычислительных задач, которые могут быть решены с помощью этих машин. Эти абстрактные машины называются автоматами. ("Автоматы", Википедия)
Из Википедии ,
Автоматы, или теория автоматов, - это изучение математических объектов, называемых абстрактными машинами. или автоматы и вычислительные задачи, которые могут быть решены с их помощью. Автоматы происходят от греческого слова α wordτόματα, означающего «самодействующий».