Statistics for Counting, Adding, and Regular Languages