publicationentry of macek:
(0)
This publication has not been reviewed yet.
rating distribution
average user rating
?
The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.
Äquivalenzbetrachtungen zu den Klassen N und NC
by:
(2006)
.
Abstract
Die vorliegende Studienarbeit beschäftigt sich mit dem Artikel "Separating NC along the \delta axis" von Bellantoni und Oitavem ENTCS 2003. Darin wird ein Termsystem N* über Binärbäumen mit Blattspeicherung, angereichert um Konstanten für Baumrekursion, vorgestellt und im Stile Bellantoni/Niggl ein Maß \rho auf N* erklärt. Das System N besteht dann aus genau den geschlossenen N*-Termen mit \rho-Maß kleiner order gleich 1.
Nach sorgfältiger Ausarbeitung der in der Arbeit dargestellten Ideen und Konstruktionen für den Beweis der Vollständigkeit des Systems N, daß nämlich jede NC-Funktion in System N definiert berechnet werden kann, kommt diese Studienarbeit zu dem Schluß, daß Vollständigkeit als zentrale Inklusion in der Charakterisierung von NC durch N so wie vorgestellt nicht gehalten werden kann.
BibTeX record
Endnote record
