Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Abzählbar unendlich viele kontextfreie Sprachen

Abzählbar unendlich viele kontextfreie Sprachen

Universität / Fachhochschule

Sonstiges

Tags: Abzählbarkeit, Sonstiges, Theoretische Informatik

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Komisch

Komisch aktiv_icon

13:10 Uhr, 18.01.2015

Antworten
Hi,

kann mir jemand sagen, wie ich zeigen kann, dass es abzählbar unendlich viele kontextfreie Sprachen über dem Alphabet {a,b} gibt?

Ich meine, ich müsste vermutlich irgendeine längen-lexikographische Ordnung finden um auf die abzubilden allerdings komm ich damit nicht weiter. Gibt es vielleicht irgendeinen Satz, irgendeine Definition die mich schneller ans Ziel führt und mich nicht zwingt eine komplizierte Abbildung zu finden? Hat irgendwer eine gute Lösung für das Problem?

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
ledum

ledum aktiv_icon

13:38 Uhr, 18.01.2015

Antworten
Hallo
benutze Cantors Diagonalverfahren, das kannst du auch einfach zitieren, waagerecht a aa aaa oder aa2a3
senkrecht bb2b3 usw
http//de.wikipedia.org/wiki/Cantors_erstes_Diagonalargument
Gruß ledum
Komisch

Komisch aktiv_icon

14:51 Uhr, 18.01.2015

Antworten
Ich habe gerade nochmal über die Aufgabe nachgedacht und würde fast behaupten, dass die Menge möglicherweise nicht abzählbar unendlich ist sondern überabzählbar unendlich. Da zwar die Wörter die man aus {a,b}* bilden kann abzählbar unendlich sind, allerdings die kontextfreien Sprachen die man daraus bilden kann müssten dann ähnlich der Potenzmenge von sein. (Bis auf dass die entfallen, die nicht der kontextfreien Eigenschaft entsprechen.)

Wenn ich mit dieser Vermutung richtig liegen sollte (was mir möglicherweise irgendjemand bestätigen kann - wie würde ich dies dann zeigen, da ich für Überabzählbarkeit kein so tolles Schema aufbauen kann wie ledum mir vorgeschlagen hat (Danke dafür))
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.