Визуализация графов конечных автоматов: схемы и примеры