Pumping lemma for regular tree languages

  1. REDIRECT Tree automaton#Pumping_lemma

{{R to section}}