Describir: Введение в теорию конечных автоматов