Изчислителни проблем, който може да бъде решен от една машина на Тюринг. Проблем може да има един nonbinary изход.