Понимание графов детерминированных конечных автоматов