Russian ⇄ English

полиномиальная для недетерминированной машины Тьюринга дополняющая задача о принятии решения, решаемая за полиномиальное время на недетерминированной машине Тьюринга дополняющая задача stresses
el.	complementary nondeterministic polynomial time problem (о принятии решения); complementary nondeterministic polynomial time (о принятии решения); CoNP problem (о принятии решения)