多项选择题

‎以下说法正确的有‏

A.图灵机所能识别的语言也一定能为某个有限状态机所识别
B.停机问题的本质是一阶谓词逻辑的不完备性
C.图灵机的各个变种都可以用单带图灵机模拟
D.图灵机能解决一切问题