It underlies the decision tree model of computation: https://en.wikipedia.org/wiki/Decision_tree_model