BuK/IIm19/Ausarbeitungen Lüpke/Brainstorming VL07 Luepke

Wiki-Quelltext dieser Seite.

== Wiederholung zum intuitiven Berechenbarkeitsbegriff ==
Eine  Funktionf:  $\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:

[[Bild:Flikkes_IMG_20200506_113612230-1-.jpg|300px]]

[[Bild:Flikkes_IMG_20200506_113634275-1-.jpg|200px|degree=180]]