Pattern Matching in Trees and Nets
Abstract. Rational patterns are used to specify recognizable tree languages. It is shown that, given a rational pattern p and a tree t, one can decide in O(
Abstract. Rational patterns are used to specify recognizable tree languages. It is shown that, given a rational pattern p and a tree t, one can decide in O(