There are two key types of problems:* A decision problem fixes a set "S", which may be a set of strings, natural numbers, or other objects taken from some larger set "U".
مساله ی تصمیم پذیری، یک مجموعه S را معین می کند که ممکن است مجموعه ای از رشته ها، اعداد طبیعی، و یا اشیاء دیگری باشد که از مجموعه بزرگتری مانند U امده اند باشد .