Lexikon: Halteproblem

Das Halteproblem ist ein Problem aus der Theoretischen Informatik. Es besteht darin, in einem bestimmten Berechnungskalkül zu entscheiden, ob die ...
Weiter auf: de.wikipedia.org/wiki/Halteproblem
Internetverweise zu Halteproblem:
Boyer-Moore-Beweiser 



 Wort-Analyse: Halteproblem

Grundform
Synonyme
SatzbeispieleEin interessantes, eng mit dem Halteproblem zusammenhängendes Problem ist das busy-beaver-Problem.
Es gibt Turing-Programme, für die das spezielle Halteproblem unentscheidbar ist. Kommunikationsrechner (Zwischensystem) zwischen verschiedenen Rechnernetzen, der die Aufgabe besitzt, Nachrichten von einem Netz in das andere Netz zu übermitteln.

Quelle: Wortschatz Lexikon


 

Leider wurde kein Ergebnis für Ihren Begriff im Abkürzungsverzeichnis gefunden.
 
Suchtipps zum Abkürzungsverzeichnis:
Verwenden Sie die Grundform und den Singular eines Begriffs.
Vermeiden Sie die Suche mit mehreren Begriffen.

 

 

 

 

Leider wurde kein Ergebnis für Ihren Begriff in der Übersetzung gefunden.
 
Suchtipps zur Übersetzung:
Verwenden Sie die Grundform und den Singular eines Begriffs.
Vermeiden Sie die Suche mit mehreren Begriffen.
Die Schreibweise ´ß´ oder ´ss´ kann zu unterschiedlichen Ergebnissen führen

 

 

Fehler/Anregungen mitteilen

Sie möchten:
Ihr Name:
Ihre EMail-Addresse:
Ihre Nachricht:

 

Impressum

Klaus Kopf
Düppelstrasse 6
22769 Hamburg
Deutschland

Steuernummer: 41/127 /03069

Finanzamt Hamburg-Altona

  

Konzessionsinformationen zu den definero Suchfunktionen

Lexikon
Das Lexikon basiert auf der freien Enzyklopädie Wikipedia und unterliegt der GNU Lizenz für freie Dokumentation. Die Liste der Autoren ist auf dem Lexikon Wikipedia (Wiki) verfügbar. Lexikon-Artikel können direkt auf Wikipedia bearbeitet werden.
  

Wort-Analyse (Wörterbuch)
Das Wörterbuch wird uns von der Universität Leipzig (Institut für Informatik) Projekt Deutscher Wortschatz zur Verfügung gestellt.
  

Übersetzung
Die Übersetzung (deutsch - englisch/ englisch - deutsch) unterliegt der GNU Lizenz für freie Dokumentation. Sie basiert auf folgenden Datenbanken, die von nachstehenden Personen zusammengefasst und überarbeitet wurden
Frank Richter (dict.tu-chemnitz.de; 1995 - 2002)
Paul Hemetsberger (dict.cc; 2002 - 2004)
Thomas Promny (odge.de; 2004 - 2006)
Kopf (Lexikon definero.de; seit 2006)
  

Abkürzung
Das Abkürzungsverzeichnis basiert auf einer Datenbank von Klaus Kopf (definero.de ; 2006). Die Liste der Abkürzungen wird stetig erweitert. Etwaige Verlinkungen zu Institutionen, die sich aus den Abkürzungen ableiten lassen, sind im Verzeichnis als sog. Hyperlink kenntlich gemacht. 

  

Danksagungen

   

Haftungsausschluss

Bitte beachten Sie die Informationen bzgl. Copyright, externen Links etc.- zusammengefasst auf der Seite Lexikon definero - Haftungsausschluss

  

RSS-Feed zum Lexikon definero.de


http://www.definero.de/definero.xml

 

Gratis Wörterbuch für 75 Sprachen herunterladen Lexikon