For a promise problem, there are two languages, L YES {\displaystyle L_{\text{YES}}} and L NO {\displaystyle L_{\text{NO}}} , which must be disjoint, which means L YES ∩ L NO = ∅ {\displaystyle L_{\text{YES}}\cap L_{\text{NO}}=\varnothing } , such that all the inputs in L YES {\displaystyle L_{\text{YES}}} are to be accepted and all inputs in L NO {\displaystyle L_{\text{NO}}} are to be rejected.
Για ένα πρόβλημα υπόσχεσης υπάρχουν δύο γλώσσες, η L YES {\displaystyle L_{\text{YES}}} και η L NO {\displaystyle L_{\text{NO}}} , οι οποίες και πρέπει να είναι ξένες μεταξύ τους, δηλαδή πρέπει L YES ∩ L NO = ∅ {\displaystyle L_{\text{YES}}\cap L_{\text{NO}}=\varnothing } , έτσι ώστε όλες οι είσοδοι που ανήκουν στην L YES {\displaystyle L_{\text{YES}}} να γίνονται αποδεκτές και όλες οι είσοδοι που ανήκουν στην  L NO {\displaystyle L_{\text{NO}}} να απορρίπτονται.