图灵机
设formula_10是一个语言，若存在图灵机formula_1使得formula_12，则称图灵机formula_1 识别formula_14，且formula_14称为图灵可识别语言。