Next:
Problembeschreibung
Up:
Kontrolleurmodule
Previous:
Darstellung des Beweises
Contents
PCP : Postsches Korrespondenzproblem
Das Modul PCProblem ist ein Kontrolleurmodul, welches das Postsche Korrespondezproblem behandelt.
Subsections
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Johannes Waldmann 2009-11-17