St Lawrence Lime St Lawrence Lime The St Lawrence Lime Tree was a at the St Lawrence Ground in Canterbury, Kent, England. It was located within the boundary ropes of the cricket pitch which required special rules. In 2005, it was broken in two in high winds. It is not known when the tree was planted but it is known that it was already full-grown in its location in 1847, when the St Lawrence Ground was opened. The St Lawrence Ground was built around the tree, which was located within the boundary ropes. As a result of the St Lawrence Ground being the
Tree automaton For a top-down automaton, a ground term "t" is accepted if there exists a reduction that starts from "q"("t") and ends with "t", where "q" is an initial state. The tree language "L"("A") accepted, or recognized, by a tree automaton "A" is the set of all ground terms accepted by "A". A set of ground terms is recognizable if there exists a tree automaton that accepts it. A linear (that is, arity-preserving) tree homomorphism preserves recognizability. A non-deterministic finite tree automaton is complete if there is at least one transition rule available for every possible symbol-states combination. A state "q"