Entscheidbare Sprachen sind Sprachen, bei denen das Problem, ob ein bestimmtes Wort gehört oder nicht, entscheidbar ist. Ein Entscheidungsproblem, d. H. Eine Frage mit einer Ja / Nein-Antwort, wird als entscheidbar bezeichnet, wenn ein Algorithmus (eine Turing-Maschine) existiert, der einen Booleschen Wahr- oder Falsch-Wert zurückgeben kann (statt unbegrenzt zu loopen).
Ich verwende diesen Typ, um über Strings zu argumentieren, auf denen Decidable Parsing ausgeführt werden kann:
%Vor%
Zum Beispiel definieren Sie die Ziffern [0-9] wie folgt:
%Vor%
Dann können wir folgende Funktionen haben:
%Vor%
Dies...
23.11.2014, 23:12