Методы задания конечных автоматов: основы теории