一种新的正则性概念：接受有向无环图（DAG）的有限状态自动机

类似于正则字符串和树语言，文献中已定义接受有向无环图（DAGs）的正则语言。尽管称为正则，但这些DAG语言更为强大，因此标准问题的复杂度高于字符串情况。自上而下和自下而下的确定性DAG语言是正则DAG语言的子类。我们通过提供该确定性DAG语言的一个较弱子类来细化这一层次结构。对于生成该新DAG语言类语言的DAG语法，或者等价地，识别该语言的DAG自动机，可以构建一个经典的确定性有限状态自动机（DFA）。作为主要结果，我们提供了该类的刻画。其动机是将正则字符串语言的技术转移到图上。显而易见，我们受限的DAG语言类在合取和交的情况下封闭。这使得可以应用已知用于DFA的最小化和超最小化算法。这一正则性新概念意味着存在一种DFA用于识别DAG语言。