К проблеме связности графа конечного автомата с большим числом состояний

Предлагается критерий связности графа переходов конечного автомата, обладающий относительно малой трудоемкостью и допускающий применение для анализа конечных автоматов с большим числом состояний, когда известные критерии связности фактически неприменимы.