0 Daumen
60 Aufrufe

Sei \( L \) eine aufzählbare (also rekursiv aufzählbare) Sprache, die ein nicht aufzählbares Komplement \( \bar{L} \) hat. Es seien \( a, b \in \Sigma \). Ist \( L^{\prime}=\{b b w \mid w \in L\} \cup\{a a w \mid w \notin L\} \) rekursiv? Ist \( L^{\prime} \) rekursiv aufzählbar?


.

von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community