Proposition - Code eines gepflanzten Baumes ist stets wohlgeklammert

• Involvierte Definitionen:
  • Codierung eines gepflanzten Baums
  • Gepflanzter Baum
• Veranstaltung: AlMa
• Referenz: @herzogWiSe22

⠀

Proposition: Code eines gepflanzten Baumes ist stets wohlgeklammert

Sei ein Code über dem Alphabet .

kann nur dann der Code eines gepflanzten Baumes sein, wenn wohlgeklammert ist.

Das heißt:

• enthält gleich viele öffnende wie schließende Klammern
• die erste Klammer von wird erst mit der letzten geschlossen.