Geben Sie eine obere Schranke an die Anzahl
der Elemente in den Mengen Ti an. Die Schranke soll in geschlossener Form und in Bezug
auf |?|, |V | und Eingabelänge n sein.
Meine Ideen:
Ich weiß ja, dass Ti = X u {w e (V u E)* | |w| <= n und für alle y e X : y =>_G w}
Mehr Ahnung hab ich aber nicht.