In der Einführung und Erläuterung werden P- und NP-Komplexitätsklassen häufig durch Turing-Maschinen gegeben. Eines der Rechenmodelle ist die Lambda-Rechnung. Ich verstehe, dass alle Rechenmodelle gleichwertig sind (und wenn wir irgendetwas in Form von Turing-Maschine einführen können, können wir dies in Form eines Rechenmodells einführen), aber ich habe nie eine Erklärung für die Komplexitätsklassen P und NP durch Lambda-Berechnung gesehen . Kann jemand die Begriffe P und NP der Komplexitätsklassen ohne Turingmaschine und nur mit Lambda als Rechenmodell erklären?