Is the logic for how the enigma machine worked documented somewhere? 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?
Is the logic for how the enigma machine worked documented somewhere?


Yes!

If you're really interested in "diving in deeper" (pun intented), I would like to advise you to check out:


"The Cryptographic Mathematics of Enigma"
Dr. A. Ray Miller
NSA. Center for Cryptologic History. USA. 1996. 3rd edition 2002
"Funkpeilung als alliierte Waffe gegen Deutsche U-Boote 1939-1945."
Arthur Bauer
ISBN: 3-00-002142-6. The Netherlands, 1997. German. p. 33.