XSLT ist Strukturelle Rekursion Äquivalent zu f(T1 U T2) = f(T1) U f(T2)•f({•L•: T}) = if •L•= •c• then {•C•: T}• else •L•= •b• then {•B•: f(T)}• else •L•= •a• then {•A•: f(T)}• else f(T)•f({}) = {}•f(V) = V XSLT•Nur Bäume•Schleifen möglich Strukturelle Rekursion•Beliebige Graphen•Stets terminierend