Ich muss einen deterministischen Kellerautomaten konstruieren mit {0,1}* wobei es immer eine 1 mehr geben muss als 0. Wie soll ich das genau machen?
Ich wüßte wie der KA aussehen müsste wenn immer zuerst 0 und dann 1 kommen, also 0001111, 011, 1, 00111. Jedoch sollten Wörter wie z.B. 01011, 110...