Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Suche » Suchergebnis » Hallo Gast [Anmelden|Registrieren]
Zeige Beiträge 1 bis 2 von 2 Treffern
Autor Beitrag
Thema: Grammatik soll Sprache erzeugen
cgs

Antworten: 1
Hits: 4.291
RE: Grammatik soll Sprache erzeugen 30.05.2010 22:17 Forum: Theoretische Informatik


Hallo Newbiee,

was soll denn |w|a |w|b |w|c in deiner Sprachdefinitiion bedeuten? Eine Anzahl von as gefolgt von derselben Anzahl von bs gefolgt von derselben Anzahl von cs? Also a^ib^ic^i? |w| ist ja eigentlich die Länge von w. Das kann hier wohl nicht gemeint sein.

LG cgs
Thema: Binärbaum Theorie Beweis
cgs

Antworten: 6
Hits: 7.525
RE: Binärbaum Theorie Beweis 30.05.2010 21:55 Forum: Theoretische Informatik


Hallo Jo,

das macht man mit Induktion. Da die Anzahl der Blätter nicht frei wählbar ist, verwendet man besser 2^i zum Rechnen. Zu zeigen ist dann:

Es gibt einen Fall, wo deine Vermutung gilt. Z. B. i=1.
Wenn es für 2^i gilt kann man zeigen, dass es auch für 2^(i+1) gilt.

Der Schluss von i auf i+1 funktioniert wie folgt: Ersetzt man bei einem Binärbaum mit 2^i Blättern alle Blätter durch einen Knoten mit zwei Blätter, dann hat der neue Binärbaum insgesamt 2^(i+1) Blätter und 2^i Knoten mehr als der ursprüngliche Baum.

LG cgs
Zeige Beiträge 1 bis 2 von 2 Treffern