Diese Arbeit stellt einen allgemeinen Rahmen für die Definition von Funktionsklassen vor, der auf nichtdeterministischen polynomialzeitlichen Turing-Transduktoren basiert. Das Modell ermöglicht eine einheitliche Charakterisierung verschiedener Komplexitätsklassen, darunter FP, FP
Diese im International Journal of Foundations of Computer Science veröffentlichte Arbeit fällt direkt in den thematischen Rahmen der Zeitschrift, da sie neue Charakterisierungen und Beziehungen zwischen rechnerischen Komplexitätsklassen vorstellt. Die Arbeit fördert das theoretische Verständnis der Berechnung und der Grenzen der effizienten Berechnung, die zentrale Themen in den Grundlagen der Informatik sind.