0 Daumen
578 Aufrufe

Frage:

Kann mir bitte jemand dabei helfen und die Frage beantworten?

Zeigt, dass die entscheidbaren Sprachen abgeschlossen sind

unter Schnitt (∩), Vereinigung (∪) und Komplement (-).


Code:

Avatar von

1 Antwort

0 Daumen

Konstruiere aus einem Algorithmus, der \(L_1\) entscheidet, und einem Algorithmus, der \(L_2\) entscheidet,

  • einen Algorithmus, der \(L_1\cap L_2\) entscheidet,
  • einen Algorithmus, der \(L_1\cup L_2\) entscheidet,
  • einen Algorithmus, der \(\overline{L_1}\) entscheidet.
Avatar von 5,6 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community