S is a recurrence known as the Stirling Triangle of the Second Kind. It counts the number of partitions of an n-set into k classes (Bogart, 1990).
This idea is based upon suggestions by Michael I. Jordan.