Counting

Exact computation of the number of accepting paths of an NTM