Aus ProgrammingWiki

Zeitbeschränkte Prozesse

Implementieren Sie die im Beweis definierte Aufzählfunktion (s. VL 4 auf der Seite von Prof. Wagenknecht) für M ⊆ A* unter Verwendung der Cantorschen Paarungsfunktion. Wählen Sie im Fallbeispiel A={a,b,c}, g: N→A* und M={w|w ∈ A* und w beginnt mit ab}. M ist semi-entscheidbar.

Implementierung

Die Funktionen wurden mit Kotlin implementiert. Das Projekt kann hier heruntergeladen werden:

Gr11wety_Buk-playground.zip (0.3 MB)

Es kann in der IDE (empfohlen wird IntelliJ) als Gradle Projekt importiert werden. Anschließend sind die Funktionen in der Datei MTeilmengeAStern.kt zu finden.

Hinweise zu den Funktionen sind in den Kommentaren dieser Datei zu finden.