User blog comment:C7X/CNF Comparison Algorithm/@comment-35470197-20200110045759

If you are trying to define T as a set of strings, then "Σ", "additively indecomposable", and "min" are undefined.

Also, C_n in the definiton of T and k=k+1 in 2-2-2-3-2-1 in Algorithm 1 look typos.