H tree schemes with finite and recognizable sets of rules