The subset of strings for which the problem returns "yes" is a formal language, and often decision problems are defined as formal languages.
Το υποσύνολο των εισόδων για τα οποία το πρόβλημα επιλύεται με «ναι» αποτελεί μια τυπική γλώσσα και συχνά τα προβλήματα απόφασης ορίζονται κατ' αυτό τον τρόπο ως τυπικές γλώσσες.