<s>[INST]İkinci dereceden çözülen bir dil, ne tür bir Turing makinesinin kullanıldığını gösterir.[/INST]Ancak hesaplama zamanını yukarıda belirtilen bazı somut fonksiyonlarla sınırlamak f (n) genellikle seçilen makine modeline bağlı karmaşıklık sınıfları verir. Örneğin, {xx | x, herhangi bir ikili dizedir}, çok bantlı bir Turing makinesinde doğrusal zamanda çözülebilir, ancak tek bantlı Turing makineleri modelinde mutlaka ikinci derece zaman gerektirir. Çalışma süresindeki polinom değişikliklerine izin verirsek, Cobham-Edmonds tezi “herhangi iki makul ve genel hesaplama modelindeki zaman karmaşıklıklarının polinomla ilişkili olduğunu” belirtir (Goldreich 2008, Bölüm 1.2). Bu, polinom süresi içinde deterministik bir Turing makinesi tarafından çözülebilen karar problemleri kümesi olan P karmaşıklığı sınıfının temelini oluşturur. Karşılık gelen fonksiyon sorunları kümesi FP'dir.</s>