为什么图灵机的个数是可数的

Question

由所有图灵机构成的集合是可数的，原因是：每个图灵机有一个编码，它是一个串。只要去掉那些不是图灵机合法编码的串，就得到了所有图灵机的序列。
这是《计算理论导引》中对问题的解释，没看懂，谁能给解释一下啊？这是证明存在非递归可枚举的语言中很重要的一步啊