独立性的一组形式化的参量C当前，基本是基于语法的信息识别，基本方法是类比D解决存在的信息属于哪一类问题