下面是2个作业TM的示例，其中我不确定他们适合的复杂度等级。还必须确定补码的复杂度等级。这两个特别使我感到困惑，因为我得到了不同的答案，所以我觉得我可能遗漏了一些东西：
S = {：M是一个TM s.t. M（0）=接受} U = {：M是TM s.t. M（0）[20000] =接受}
选项包括P，NP，coNP，EXP，Decidable，Recognizable，lang（所有字符串）。
S：我将其读为“ M检查输入是否为0，如果是，则接受”。我的第一个直觉是S在P中，因为它仅检查输入是否为0（这是一次运算），因此我想说它可以在多项式时间内求解。有人分别决定将RE用于S，将lang用于S补语，我只是不明白是否正确。
U：我的读法与S相同，但是精确地运行2000次。对于U及其补码，我也将其放在P中。其他答案也是P，但我看不出2000年的附录有何不同。
感谢您的澄清。