هي قسم لغات، اللغة في سياقنا هذا هي مجموعة سلاسل من رموز الابجدية ومسألة التقرير هي باعطانا سلسلة من الرموز هل هي موجودة باللغة ام لا أي: L ⊆ Σ ∗ {\displaystyle L\subseteq \Sigma ^{*}} ، ويوجد خوارزمية A بحيث ان A=1 فقط إذا s ∈ L {\displaystyle s\in L}. Wikipedia