决定性问题

是需要回答是与否的问题.

给定优先字母表 $\Sigma$, 每个输入是一个串, 任意串都可以是输入串, 一个决定性问题是满足某个性质的串的集合 (语言).