Proposition - Gepflanzte Bäume sind isomorph genau dann wenn sie den gleichen Code aufweisen

• Involvierte Definitionen:
  • Isomorphie von gepflanzten Bäumen
  • Code eines gepflanzten Baums
  • Gepflanzter Baum
• Veranstaltung: AlMa
• Referenz: @herzogWiSe22

⠀

Proposition: Charakterisierung der Isomorphie gepflanzter Bäume

Seien und zwei gepflanzte Bäume.

Es gilt:
sind isomorph und haben denselben Code.