I know that there is a formula to calculate the result of any input but is the logic of how the machine actually worked documented?
I have seen schematics for the circuitry and even a how to make your own at home site. But has the logic been broken down? Is there source for a virtua Enigma Machine that works by replicating the logic of the machine instead of just using the math?