Matroids Matheplanet Forum Index
Moderiert von Bilbo
Theoretische Informatik » Berechenbarkeitstheorie » Vereinigung rekursiv-aufzählbar und nicht-rekursiv-aufzählbar
Autor
Universität/Hochschule J Vereinigung rekursiv-aufzählbar und nicht-rekursiv-aufzählbar
LarsOf
Neu Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 02.05.2021
Mitteilungen: 4
  Themenstart: 2021-06-30

Hallo zusammen! Ich habe mich gefragt, ob es eine rekursiv-aufzählbare Sprache L1 und eine nicht-rekursiv-aufzählbare Sprache L2 gibt, sodass L1 vereinigt mit L2 rekursiv-aufzählbar ist. Hat jemand vielleicht ein Beispiel dafür?


   Profil
Bilbo
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 03.01.2005
Mitteilungen: 2028
  Beitrag No.1, eingetragen 2021-06-30

Hallo Lars, betrachte doch mal eine beliebige nicht-rekursive, aber rekursiv-aufzählbare Sprache (z.B. das Halteproblem) und ihr Komplement. Viele Grüße Thorsten


   Profil
LarsOf hat die Antworten auf ihre/seine Frage gesehen.
LarsOf hat selbst das Ok-Häkchen gesetzt.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2021 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]