Определение и способы задания конечных автоматов. Определение конечных автоматов