electronic discrete variable automatic computer{=EDVAC}