computations with regular tree languages