Editing User:Anisomorphism
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 1: | Line 1: | ||
I do math | I do math | ||
= Algebraic Geometry of Computing = | = Algebraic Geometry of Computing = | ||
Finite state machines appear in a variety of instantiations: mechanical, electronic, fluidic. The physical mechanisms involved necessitate that the design is described by differential equations, but ultimately the manipulation of abstracted "logical" states is the final goal. Thus we can describe the architecture of a general finite state machine with <math> \mathbb{Z}/2\mathbb{Z} </math> algebra (or other finite rings too). | Finite state machines appear in a variety of instantiations: mechanical, electronic, fluidic. The physical mechanisms involved necessitate that the design is described by differential equations, but ultimately the manipulation of abstracted "logical" states is the final goal. Thus we can describe the architecture of a general finite state machine with <math> \mathbb{Z}/2\mathbb{Z} </math> algebra (or other finite rings too). | ||
Line 51: | Line 39: | ||
| 1 || 1 || 0 | | 1 || 1 || 0 | ||
|} | |} | ||
XOR is only "true" or 1 when x or y but not both, are 1 | XOR is only "true" or 1 when x or y but not both, are 1. | ||
= Read prototype = | = Read prototype = |