Abstract In this paper, we study arbitrary infinite binary information systems each of which consists an set called universe and two-valued functions (attributes) defined on the universe. We consider notion a problem over system, is described by finite number attributes mapping associating decision to tuple attribute values. As algorithms for solving, use deterministic nondeterministic trees. t...