Конечные автоматы. Абстрактные и структурные автоматы. Синтез конечных автоматов