Brainstorming VL07 Luepke
Aus ProgrammingWiki
Archivierte Version vom 2020-05-13T07:52:31+00:00. Aktuelle Version
Wiederholung zum intuitiven Berechenbarkeitsbegriff
Eine Funktionf: \sigma^{∗} \rightarrow \sigmaup^{∗} auf W ̈ortern ̈uber dem Alphabet Σ heißtpartiellberechenbar, wenn es eine TuringmaschineMfgibt, die auf jeder Eingabewaus dem Definitions-bereich vonfmit dem Funktionswertf(w) auf dem Band anh ̈alt und auf jeder anderen Eingabenicht anh ̈alt.
Entscheidbarkeit der Sprache P
Skizzen:
