Графики и схемы для синтеза конечных автоматов