::::正式定义.一个决定性问题可以说与一个语言formula_1互通，这问题接受所有在formula_2里面的输入，拒绝所有不在formula_2里面的输入。承诺问题则是与两个语言相关，formula_4 and formula_5。此两个语言一定不交集，换句话说，formula_6。此承诺问题接受所有在formula_4里面的输入，拒绝所有在formula_5里面的输入。formula_9的集合则是此问题的"承诺"。对于不属于承诺里面的输入则没有规定输出必须是什么。如果承诺等于formula_10，此