0 Daumen
564 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:

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.
von 5,5 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community