RUB » LMI » Mitarbeiter » H. Simon » Publications in Journals » Pattern Matching in Trees and ...

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(