AG Algorithmen & Komplexität :: File Repository
fGdP_Buch
Anwendung des Satzes von Rice
Download
- Short Description:
- Sebsation Wild und Markus E. Nebel -- Ausführliches Beispiel für die Anwendung des Satzes von Rice.
- Submitted By:
- nebel
- Submitted On:
- File Size:
- 36.15 Kb
- Downloads:
- 164
DEA Minimierung
Download
- Short Description:
- Sebastian Wild und Markus E. Nebel -- Ausführliches Beispiel zur Minimierung eines DEA (deterministischer endlicher Automat).
- Submitted By:
- nebel
- Submitted On:
- File Size:
- 72.76 Kb
- Downloads:
- 174
Der erweiterte Satz von Rice
Download
- Short Description:
- Raphael Reitzig, Sebastian Wild und Markus E. Nebel -- Eine im Vergleich zum Buch erweiterte Version des Satzes von Rice und sein Beweis.
- Submitted By:
- nebel
- Submitted On:
- File Size:
- 73.83 Kb
- Downloads:
- 132
Diagonalisierung und Reduktion
Download
- Short Description:
- Sebastian Wild und Markus E. Nebel -- Vertiefende Betrachtung und ausführliche Beispiele zu den genannten Beweistechniken.
- Submitted By:
- nebel
- Submitted On:
- File Size:
- 117.48 Kb
- Downloads:
- 132
Hoare-Logik
Download
- Short Description:
- Sebastian Wild und Markus E. Nebel -- Ein ausführliches Beispiel und vertiefende Gedanken zum Gebrauch der Hoare-Logik.
- Submitted By:
- nebel
- Submitted On:
- File Size:
- 146.82 Kb
- Downloads:
- 122
Jenseits des Satzes von Rice
Download
- Short Description:
- Sebastian Wild und Markus E. Nebel -- Studium eines Beispiels, für das der (erweiterte) Satz von Rice nicht angewandt werden kann.
- Submitted By:
- nebel
- Submitted On:
- File Size:
- 50.35 Kb
- Downloads:
- 159
NEA --> DEA
Download
- Short Description:
- Sebastian Wild und Markus E. Nebel -- Ausführliches Beispiel (in alternativer Darstellung) zur Umwandlung eines NEA in einen DEA.
- Submitted By:
- nebel
- Submitted On:
- File Size:
- 67.75 Kb
- Downloads:
- 123
Primitiv rekursive Funktionen
Download
- Short Description:
- Sebastian Wild und Markus E. Nebel -- Vielfältige Beispiele primitiv rekursiver Funktionen.
- Submitted By:
- nebel
- Submitted On:
- File Size:
- 97.45 Kb
- Downloads:
- 147