Computational சிக்கலில் முடியும் ஒரு Turing மெஷின் மூலம் தீர்க்கப்படும். சிக்கல் nonbinary வெளியீடு வேண்டும்.