Pruned tree

Tree (descriptive set theory)
This page is a soft redirect.

A pruned tree is a tree, in the descriptive set theory meaning, without terminal node. This means that a pruned tree is a set of sequences on a set X such that every prefix on a sequence belonging to a tree is itself in the tree, and that every finite sequence in the tree is the prefix of a longer sequence.

This article is issued from Wikipedia - version of the Friday, February 26, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.