http://ncatlab.org/nlab/show/Combinatorial+species+and+tree-like+structures F. Bergeron, G. Labelle, P. Leroux, Introduction to the Theory of Species of Structures 2008 http://bergeron.math.uqam.ca/Site/bergeron_anglais_files/livre_combinatoire.pdf これがツリーを扱う算法の理論みたいです。