The terminating set lies in the state set, equals it in terminal states, and in nonterminal states its intersection with each cell is the child box of the children's terminating sets.

Initializing...

The terminating set lies in the state set, equals it in terminal states, and in nonterminal states its intersection with each cell is the child box of the children's terminating sets. · Prove2Me