Deine Formulierung bringt den Eniac scheinbar unnötigerweise ins Spiel, da es darin keinen Unterschied zur Z3 gibt. Es fehlt die Information, dass der Eniac, so wie er war und benutzt wurde, bereits turingvollständig war. -- AchimP 08:25, 20. Jul. 2016 (CEST)