是一个概述性的文章,将数字系统中的关于可测性的问题进行了总结