Enzyklopädie > R > Rekursive Sprache
Rekursive Sprache
Eine Formale Sprache L subseteq Sigma^* heißt rekursiv (entscheidbar), wenn eine Turingmaschine existiert, die immer hält und Eingaben w in Sigma^* genau dann akzeptiert, wenn w in L ist.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)