I asked a question yesterday regarding numbers defined on graph structures that I call graph numbers. I posted the algorithm I was using to define graph numbers, which are simply a natural extension of linear numbers we use all the time. Nolion's response was close but not quite right. The equations are actually:
$d_{m+n}(v) = \biggl (d_{n}(v) + d_{m}(v) + \sum_{(u,v)\in{E}}{d_{{m+n},{carry over}}(u)} \biggr ) \mod {2}$
$d_{{m+n},carryover}(v) = \biggl \lfloor \frac {d_{n}(v) + d_{m}(v) + \sum_{(u,v)\in{E}}{d_{{m+n},{carry over}}(u)} } {2} \biggr \rfloor$
After reading nolion's response, I was able to come up with these equations. Notice, they are added in $Z$, which is why I need the $\mod 2$ to bring them back to $Z/2Z$. However, the digits of m and n are chosen from $Z/2Z$ (just as in normal binary addition of more than 2 numbers). But the order of evaluation of $d_{m+n}$ matters (which, again, I am not sure how to describe mathematically) starting from the "root" nodes and evaluating as in a Breadth First Search. Notice, that if the Directed Acyclic Graph is a linear connection of nodes, this becomes normal arithmetic in base 2. My question is, has there been any work done on such numbers?