We show that a determinant of Stirling cycle numbers counts unlabeled acyclic single-source automata. The proof involves a bijection from these automata to certain marked lattice paths and a sign-reversing involution to evaluate the determinant. We also give a formula for the number of acyclic automata with a given set of sources.

Source : oai:HAL:hal-00972318v1

Volume: Vol. 10 no. 2

Section: Combinatorics

Published on: January 1, 2008

Submitted on: March 26, 2015

Keywords: [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]

This page has been seen 87 times.

This article's PDF has been downloaded 225 times.