તેમને મશીન autocode અનુવાદિત કરો અનુવાદકો કે ગાણિતીક નિયમો પરિવર્તન અને તે ઇલેક્ટ્રોનિક કમ્પ્યુટર પર સમજી બનાવવા દ્વારા શોધ કરી હતી.