Regular tree language

Summary