Au algorithm of labeling a directed graph so that the obtained transition graph represents a definite automaton is described.

中文翻译：

---

定自动机的标签图

描述了对有向图进行标记以使所获得的过渡图表示确定的自动机的Au算法。