The paper develops a mathematical framework for understanding how computers make decisions when working with numbers and other mathematical structures. At the heart of this work are "BSS machines," a theoretical model of computation that generalizes ordinary computers to work not just with integers but with real numbers and other mathematical objects. The paper is concerned with how to represent and analyze the step-by-step processes these machines follow, using diagrams called flowcharts, decision trees, and program graphs. These visual tools help researchers understand exactly what a machine does at each step, including both the calculations it performs and the yes-or-no choices it makes along the way.
A central goal is to connect several different but related models of computation under one unified theoretical roof. Decision trees, which encode sequences of yes-or-no questions leading to some outcome, are closely related to the branching structure inside BSS machines. The paper introduces a precise formal language for describing the "paths" a program can take through its own structure, meaning the sequence of steps and decisions followed during any particular run. These program paths capture not just what instructions are executed but also the choices made at each branching point, and they are defined in a careful syntactic way that makes them easy to work with mathematically.
Finally, the paper introduces tools for organizing and listing all possible finite program paths in a systematic order. This kind of enumeration is useful because it allows researchers to systematically explore all the ways a program can behave, which matters for questions about correctness, complexity, and the limits of what these machines can compute. The work is framed as the first part of a broader project, with the current installment laying the groundwork by establishing definitions and basic algorithms that later work can build on and refine.