Beachtet bei Turing-Maschinen, dass diese nur dann anhalten, wenn kein nächster Zustand bzw. keine nächste Konfiguration mehr definiert ist. Eine TM die ab einer bestimmten Konfiguration endlos die gleiche Schleife durchläuft, kann daher nicht mehr terminieren.
Posts
Keine Kommentare:
Kommentar veröffentlichen