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