Induktionsbeweis der Formel (Definition) für |Σ^(≤n)|

Question

Aufgabe:

Bestimmen Sie die Formel (Definition) für |Σ^(≤n)| und beweise Sie diese (Zeigen Sie die Richtigkeit für alle n ∈ N. Dabei ist 0 ∈ N.).

Problem:

Ich kenne die Formel (Definition) nicht und weiß deshalb auch nicht was die

Behauptung: ?

Induktionsanfang: ?

Imduktionsschritt: ?

ist. Wäre Jedem der hilft dankbar.

LG

Comments

Soll ^ der Kleene-Stern * sein?

Also die "Wörter der Länge kleiner gleich n " oder so was?

Answer 1

Sollte meine Vermutung im Kommentar stimmen, ist mit

Formel (Definition) für |Σ^(≤n)|

die Anzahl Elemente von Σ^(≤n) gemeint. 
Diese ist abhängig der Mächtigkeit des Alphabets.

Comments

Vielleicht ist auch https://www.stacklounge.de/5088/induktionsbeweis-in-theoretische-informatik gemeint?

Alternativ https://www.stacklounge.de/4759/anzahl-der-worter-berechnen ?