Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

9. Bäume
postorder(k):
Besuche linken Teilbaum mit postorder(k.left);
Besuche rechten Teilbaum mit postorder(k.right);
Verarbeite k.Element;
Binärbaum als ADT nach Meyer I
Types ÁÆÌ ÊÌ ℄
Functions
ÑØ ØÖ ÁÆÌ ÊÌ ℄
Ñ ÁÆÌ ÊÌ ℄ ¢ Ì ¢ ÁÆÌ ÊÌ ℄ ÁÆÌ ÊÌ ℄
ÐØ ÁÆÌ ÊÌ ℄ ÁÆÌ ÊÌ ℄
ÖØ ÁÆÌ ÊÌ ℄ ÁÆÌ ÊÌ ℄
Ø ÁÆÌ ÊÌ ℄ Ì
× ÑØ ÁÆÌ ÊÌ ℄ ÇÇÄ
× Ò Ì ¢ ÁÆÌ ÊÌ ℄ ÇÇÄ
Ø ÁÆÌ ÊÌ ℄ ÁÆÌ
ÐÒ ÁÆÌ ÊÌ ℄ ÇÇÄ
×ÙØÖ× ÁÆÌ ÊÌ ℄ ËÌÁÆÌ ÊÌ ℄℄
ÔÖÓÖÖ ØÖÚÖ×Ð ÁÆÌ ÊÌ ℄ ÄÁËÌ Ì ℄
ÒÓÖÖ ØÖÚÖ×Ð ÁÆÌ ÊÌ ℄ ÄÁËÌ Ì ℄
ÔÓ×ØÓÖÖ ØÖÚÖ×Ð ÁÆÌ ÊÌ ℄ ÄÁËÌ Ì ℄
Binärbaum als ADT nach Meyer II
Axioms Ø Ø ÁÆÌ ÊÌ ℄ Ü Ý Ì
ÐØ Ñ Ø ÜØ Ø
ÖØ Ñ Ø ÜØ Ø
Ø Ñ Ø ÜØ Ü
× ÑØ ÑØ ØÖ ØÖÙ
× ÑØ Ñ Ø ÜØ Ð×
× Ò Ü ÑØ ØÖ Ð×
Ü Ý × Ò Ü Ñ Ø ÝØ ØÖÙ
Ü Ý × Ò Ü Ñ Ø ÝØ × Ò Ü Ø × Ò Ü Ø
Ø ÑØ ØÖ
Ø Ñ Ø ÜØ ÑÜØ Ø Ø Ø
ÐÒ ÑØ ØÖ ØÖÙ
ÐÒ Ñ Ø ÜØ
Ø Ø Ø Ø ÐÒ Ø ÐÒ Ø
×ÙØÖ× ÑØ ØÖ ÑØ ØÖ
×ÙØÖ× Ñ Ø ÜØ Ñ Ø ÜØ ×ÙØÖ× Ø ×ÙØÖ× Ø
ÔÖÓÖÖ ØÖÚÖ×Ð ÑØ ØÖ ÒÐ
ÔÖÓÖÖ ØÖÚÖ×Ð Ñ Ø ÜØ
Ü ÔÖÓÖÖ ØÖÚÖ×Ð Ø ÔÖÓÖÖ ØÖÚÖ×Ð Ø
ÒÓÖÖ ØÖÚÖ×Ð ÑØ ØÖ ÒÐ
ÒÓÖÖ ØÖÚÖ×Ð Ñ Ø ÜØ
ÒÓÖÖ ØÖÚÖ×Ð Ø Ü ÒÓÖÖ ØÖÚÖ×Ð Ø
ÔÓ×ØÓÖÖ ØÖÚÖ×Ð ÑØ ØÖ ÒÐ
ÔÓ×ØÓÖÖ ØÖÚÖ×Ð Ñ Ø ÜØ
ÔÓ×ØÓÖÖ ØÖÚÖ×Ð Ø ÔÓ×ØÓÖÖ ØÖÚÖ×Ð Ø Ü
Preconditions Ø ÁÆÌ ÊÌ ℄
pre ÐØ Ø × ÑØ Ø
pre ÖØ Ø × ÑØ Ø
pre Ø Ø × ÑØ Ø
168