Brainstorming VL07 Luepke
Aus ProgrammingWiki
Archivierte Version vom 2020-05-13T07:54:30+00:00. Aktuelle Version
Wiederholung zum intuitiven Berechenbarkeitsbegriff
Eine Funktion f: \Sigma^{∗} \rightarrow \Sigma^{∗} 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:
