We show that a determinant of Stirling cycle numbers counts unlabeled acyclicsingle-source automata. The proof involves a bijection from these automata tocertain marked lattice paths and a sign-reversing involution to evaluate thedeterminant.

我们表明，斯特林循环数的决定因素计数未标记的非循环单源自动机。证明涉及从这些自动机的双射到某些标记的晶格路径和符号反转对合以评估行列式。